# HerbieResults

cmdin: (sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621)
cmdout:
(if (< herbie0 -1.1236950826599826e+145) (- herbie0) (if (< herbie0 1.116557621183362e+93) (sqrt (+ (sqr herbie0) (sqr herbie1))) herbie0))


cmdin: (log (+ herbie0 1))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621)
cmdout:
(if (< herbie0 1.7634409685515176) (- herbie0 (- (* (sqr herbie0) 1/2) (* 1/3 (* herbie0 (* herbie0 herbie0))))) (log (+ herbie0 1)))


cmdin: (- (exp herbie0) 1)
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621)
cmdout:
(if (< herbie0 -3.117345318005618e-08) (- (exp herbie0) 1) (+ (* 1/6 (* herbie0 (* herbie0 herbie0))) (+ herbie0 (* 1/2 (sqr herbie0)))))


cmdin: (- (sin herbie0) herbie0)
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 -0.0006441301579083509) (- (sin herbie0) herbie0) (if (< herbie0 1.7634409685515176) (- (* 1/120 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))) (+ (* 1/5040 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))))) (* 1/6 (* herbie0 (* herbie0 herbie0))))) (- (sin herbie0) herbie0)))


cmdin: (- (sin herbie0) herbie0)
cmdout: (- (sin herbie0) herbie0)
opts:
-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes


cmdin: (/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) herbie4)
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie4 -3.704120056878942e+74) (+ (/ herbie1 (/ herbie4 herbie0)) (/ herbie3 (/ herbie4 herbie2))) (if (< herbie4 1.0269134001255702e+115) (* (+ (* herbie0 herbie1) (* herbie2 herbie3)) (/ 1 herbie4)) (+ (* (/ herbie1 herbie4) herbie0) (* (/ herbie3 herbie4) herbie2))))


opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdin:
(+ (+ herbie0 herbie1) (/ (* (* (* (- herbie2 herbie3) (- herbie2 herbie3)) herbie4) herbie5) (+ herbie4 herbie5)))

cmdout:
(if (< herbie4 -9.203154444037708e+23) (+ (/ (- herbie2 herbie3) (/ (/ (/ (+ herbie4 herbie5) herbie4) herbie5) (- herbie2 herbie3))) (+ herbie1 herbie0)) (if (< herbie4 2.374404837314372e+43) (+ (* (/ (- herbie2 herbie3) (/ 1 herbie4)) (/ (- herbie2 herbie3) (/ (+ herbie4 herbie5) herbie5))) (+ herbie1 herbie0)) (+ (/ (- herbie2 herbie3) (/ (/ (/ (+ herbie4 herbie5) herbie4) herbie5) (- herbie2 herbie3))) (+ herbie1 herbie0))))


cmdin:
(+ (+ herbie0 herbie1) (/ (* (* (* (- herbie2 herbie3) (- herbie2 herbie3)) herbie4) herbie5) (+ herbie4 herbie5)))

cmdout:
(+ (/ (- herbie2 herbie3) (/ (/ (/ (+ herbie4 herbie5) herbie4) herbie5) (- herbie2 herbie3))) (+ herbie1 herbie0))

opts:
-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes


cmdin: (sqrt (* herbie0 (- herbie0 1)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 -4.7086979558689744e+147) (- (/ 1/8 herbie0) (- herbie0 1/2)) (if (< herbie0 1305830679.054376) (sqrt (- (sqr herbie0) herbie0)) (- (- herbie0 1/2) (/ 1/8 herbie0))))


cmdin: (sqrt (- (expt herbie0 2) 1))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 1.7634409685515176) (+ (- (/ 1/2 herbie0) herbie0) (/ 1/8 (* herbie0 (* herbie0 herbie0)))) (- (- herbie0 (/ 1/2 herbie0)) (/ 1/8 (* herbie0 (* herbie0 herbie0)))))


cmdin: (/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ herbie0 herbie2))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie2 -1.5346024234769991e+206) herbie3 (if (< herbie2 3.516290613555987e+106) (/ 1 (/ (+ herbie0 herbie2) (+ (* herbie0 herbie1) (* herbie2 herbie3)))) herbie3))


cmdin: (+ (* (* (* herbie0 1.75) herbie1) herbie1) (sqrt (/ herbie0 herbie1)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 25577453700.219013) (+ (* (* herbie1 1.75) (* herbie1 herbie0)) (sqrt (/ herbie0 herbie1))) (+ (* (* (* herbie0 1.75) herbie1) herbie1) (* (sqrt herbie0) (sqrt (/ 1 herbie1)))))


cmdin: (* (* herbie0 herbie0) (cos (- (/ herbie0 2) (sqrt herbie0))))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(+ (* (* (cos (/ herbie0 2)) (log1p (expm1 (cos (sqrt herbie0))))) (sqr herbie0)) (* (* (sin (/ herbie0 2)) (sin (sqrt herbie0))) (sqr herbie0)))


cmdin: (sqrt (+ (+ 4 (expt herbie0 2)) herbie0))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 -4.7086979558689744e+147) (+ (/ 15/8 herbie0) (+ herbie0 1/2)) (if (< herbie0 1305830679.054376) (sqrt (+ (+ herbie0 4) (sqr herbie0))) (+ (+ 1/2 herbie0) (/ 15/8 herbie0))))


cmdin: (sin (sqrt (+ herbie0 1)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(- (* (sin (exp (log1p (sqrt (+ herbie0 1))))) (cos 1)) (* (cos (exp (log1p (sqrt (+ herbie0 1))))) (sin 1)))


cmdin: (/ (- (sin herbie0) (tan herbie0)) herbie0)
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 -0.0006441301579083509) (/ 1 (/ herbie0 (- (sin herbie0) (tan herbie0)))) (if (< herbie0 1.7634409685515176) (+ (* (* herbie0 (* herbie0 (* herbie0 herbie0))) -1/8) (+ (* (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))) -13/240) (* (sqr herbie0) -1/2))) (/ 1 (/ herbie0 (- (sin herbie0) (tan herbie0))))))


cmdin: (/ 1 (sqrt (- (expt herbie0 2) (expt herbie1 2))))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 1.74594263175777e-252) (/ -1 herbie0) (/ 1 (* (sqrt (+ herbie0 herbie1)) (sqrt (- herbie0 herbie1)))))


cmdin: (- herbie0 (sin herbie0))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 -0.0006441301579083509) (- herbie0 (sin herbie0)) (if (< herbie0 1.7634409685515176) (- (+ (* 1/5040 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))))) (* 1/6 (* herbie0 (* herbie0 herbie0)))) (* 1/120 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0)))))) (- herbie0 (sin herbie0))))


cmdin: (- (sin (+ herbie0 herbie1)) (cos (+ herbie0 herbie1)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(- (* (sin herbie1) (+ (sin herbie0) (cos herbie0))) (* (- (cos herbie0) (sin herbie0)) (cos herbie1)))


cmdin: (sqrt (/ (expt herbie0 2) 3))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 3.130907040512308e-302) (log1p (+ (/ herbie0 (sqrt 3)) (* herbie0 (* herbie0 1/6)))) (* herbie0 (sqrt 1/3)))


cmdin: (- (abs (expt herbie0 3)) (expt herbie0 3))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 2.2386212442101493e+105) (- (abs (* herbie0 (* herbie0 herbie0))) (* herbie0 (* herbie0 herbie0))) (- (* (/ 1 herbie0) (* (/ 1 herbie0) (/ 1 herbie0))) (expt herbie0 -3)))


cmdin: (- (log herbie0) (log (+ herbie0 1)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 1305830679.054376) (log (/ herbie0 (+ 1 herbie0))) (- (- (/ 1/2 (sqr herbie0)) (/ 1/3 (* herbie0 (* herbie0 herbie0)))) (/ 1 herbie0)))


cmdin: (+ (- herbie0) (/ (sqrt (- (* herbie0 herbie0) (* (* herbie1 4) herbie2))) (* herbie1 2)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie1 -3693.8482788297247) (/ (- (* (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)) (* (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)) (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)))) (* herbie0 (* herbie0 herbie0))) (- (- (* 1/4 (sqr (/ herbie0 herbie1))) (- (/ herbie2 herbie1) (sqr herbie0))) (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* 2 (/ herbie1 herbie0))))) (if (< herbie1 249.6182814532307) (+ (/ 1 (/ (* 2 herbie1) (sqrt (- (sqr herbie0) (* (* 4 herbie2) herbie1))))) herbie0) (/ (- (* (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)) (* (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)) (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)))) (* herbie0 (* herbie0 herbie0))) (- (- (* 1/4 (sqr (/ herbie0 herbie1))) (- (/ herbie2 herbie1) (sqr herbie0))) (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* 2 (/ herbie1 herbie0)))))))


cmdin: (- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< (- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2))) -6.465938895416912e-13) (/ (- (exp (log (sqr (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3))))))) (sqr (log (+ herbie0 herbie2)))) (+ (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2)))) herbie3)


cmdin: (- (sqrt (sin herbie0)) (sqrt herbie0))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 1.7634409685515176) (/ (- (- (* 1/120 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))) (* 1/5040 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0)))))))) (* (* herbie0 (* herbie0 herbie0)) 1/6)) (+ (sqrt herbie0) (sqrt (sin herbie0)))) (- (expm1 (expm1 (log1p (log1p (sqrt (sin herbie0)))))) (sqrt herbie0)))


cmdin: (/ (* herbie0 herbie1) (+ (- 1 herbie1) (* herbie0 herbie1)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 -3.2230225784416125e+100) (+ (/ 1 (sqr herbie0)) (+ (/ 1 herbie0) 1)) (if (< herbie0 7.448338919394617e+200) (* (/ herbie0 1) (/ herbie1 (+ (- 1 herbie1) (* herbie0 herbie1)))) (+ (/ 1 (sqr herbie0)) (+ (/ 1 herbie0) 1))))


cmdin: (* (cos (+ herbie0 1)) (expt herbie0 2))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(* herbie0 (/ (* herbie0 (- (* (* (cos 1) (cos herbie0)) (* (* (cos 1) (cos herbie0)) (* (cos 1) (cos herbie0)))) (* (* (sin 1) (sin herbie0)) (* (* (sin 1) (sin herbie0)) (* (sin 1) (sin herbie0)))))) (+ (sqr (* (cos 1) (cos herbie0))) (+ (sqr (* (sin 1) (sin herbie0))) (* (* (cos 1) (cos herbie0)) (* (sin 1) (sin herbie0)))))))


cmdin: (* herbie0 (- (/ herbie1 herbie0) (log (+ 1 (/ herbie1 herbie0)))))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 -3.5869021409434946e+199) (* (* herbie0 (+ (sqrt (/ herbie1 herbie0)) (sqrt (log1p (/ herbie1 herbie0))))) (- (sqrt (/ herbie1 herbie0)) (sqr (sqrt (sqrt (log1p (/ herbie1 herbie0))))))) (if (< herbie0 -1.7973603887314236e-119) (- herbie1 (* herbie0 (log1p (/ herbie1 herbie0)))) (if (< herbie0 6.134002603894154e-120) (- herbie1 (* (log1p (/ herbie0 herbie1)) herbie0)) (if (< herbie0 6.117296177923676e+84) (- herbie1 (* herbie0 (log1p (/ herbie1 herbie0)))) (* herbie0 (- (/ herbie1 herbie0) (sqr (sqrt (log1p (/ herbie1 herbie0))))))))))


cmdin: (* herbie0 (expt (- herbie1 herbie2) 3))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie2 -3.9917866316376987e+89) (exp (+ (log herbie0) (* (log (- herbie1 herbie2)) 3))) (* herbie0 (* (- herbie1 herbie2) (* (- herbie1 herbie2) (- herbie1 herbie2)))))


cmdin: (* herbie0 (- (- (/ herbie1 herbie0) 1) (log (/ herbie1 herbie0))))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< (/ herbie1 herbie0) 5.076897394578579e-301) (* herbie0 (- (+ (+ (/ (/ (* herbie1 (sqr (log herbie0))) (- (+ (+ (* 2 (log herbie0)) 1) (+ (sqr (log herbie0)) (sqr (log herbie1)))) (* 2 (+ (log herbie1) (* (log herbie0) (log herbie1)))))) herbie0) (/ 1 (- (log herbie1) (+ 1 (log herbie0))))) (+ (/ (/ (* (sqr (log herbie1)) herbie1) herbie0) (- (+ (+ (+ (* 2 (log herbie0)) 1) (sqr (log herbie1))) (sqr (log herbie0))) (* 2 (+ (log herbie1) (* (log herbie0) (log herbie1)))))) (/ (* (* 2 (log herbie1)) (log herbie0)) (- (log herbie1) (+ 1 (log herbie0)))))) (+ (/ (/ herbie1 (- (+ (+ (+ (* 2 (log herbie0)) 1) (sqr (log herbie1))) (sqr (log herbie0))) (* 2 (+ (log herbie1) (* (log herbie0) (log herbie1)))))) herbie0) (+ (+ (+ (/ (* (/ herbie1 herbie0) 2) (- (log herbie1) (+ 1 (log herbie0)))) (/ (sqr (log herbie0)) (- (log herbie1) (+ 1 (log herbie0))))) (/ (* 2 (/ (* (log herbie0) (log herbie1)) (/ herbie0 herbie1))) (- (+ (+ (* 2 (log herbie0)) 1) (+ (sqr (log herbie0)) (sqr (log herbie1)))) (* 2 (+ (log herbie1) (* (log herbie0) (log herbie1))))))) (/ (sqr (log herbie1)) (- (log herbie1) (+ 1 (log herbie0)))))))) (if (< (/ herbie1 herbie0) 1.442847112874633e+305) (+ (+ (- herbie0) (/ herbie1 1)) (* (- (log (/ herbie1 herbie0))) herbie0)) (* 1 herbie1)))


cmdin: (+ herbie0 (sqrt (- (* herbie0 herbie0) herbie1)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 -1.5097698010472593e+153) (* 1/2 (/ herbie1 herbie0)) (if (< herbie0 -3.5050271037152363e-118) (/ herbie1 (- herbie0 (sqrt (- (sqr herbie0) herbie1)))) (if (< herbie0 1.116557621183362e+93) (+ herbie0 (sqrt (- (sqr herbie0) herbie1))) (+ herbie0 (- herbie0 (* 1/2 (/ herbie1 herbie0)))))))


cmdin: (- (- herbie0) (sqrt (- (* herbie0 herbie0) herbie1)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 -2.3377326502434188e+76) (- (/ 1/8 (* herbie0 (* herbie0 herbie0))) (* (/ herbie1 herbie0) 1/2)) (- herbie0 (sqrt (- (sqr herbie0) herbie1))))


cmdin: (* herbie0 (expt (- herbie1 herbie2) 2))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(if (< herbie0 8.02321162197245e-307) (* herbie0 (* (- herbie1 herbie2) (- herbie1 herbie2))) (sqr (* (sqrt herbie0) (- herbie1 herbie2))))


cmdin: (+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (sin (- herbie0 1)))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(+ (/ 1 (+ (sqrt (+ herbie0 1)) (sqrt herbie0))) (- (expm1 (log1p (* (sin herbie0) (cos 1)))) (* (cos herbie0) (sin 1))))


cmdin: (- (sqrt (+ herbie0 2)) (sqrt herbie0))
opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdout:
(/ (/ 2 (sqrt (+ (sqrt (+ herbie0 2)) (sqrt herbie0)))) (sqrt (+ (sqrt (+ herbie0 2)) (sqrt herbie0))))


opts: -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics
cmdin:
(+ (+ (+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (- (sqrt (+ herbie1 1)) (sqrt herbie1))) (- (sqrt (+ herbie2 1)) (sqrt herbie2))) (- (sqrt (+ herbie3 1)) (sqrt herbie3)))

cmdout:
(+ (+ (+ (/ 1 (+ (sqrt (+ herbie0 1)) (sqrt herbie0))) (/ 1 (+ (sqrt (+ herbie1 1)) (sqrt herbie1)))) (/ 1 (+ (sqrt (+ herbie2 1)) (sqrt herbie2)))) (- (sqrt (+ herbie3 1)) (sqrt herbie3)))


