Date:Friday, March 6th, 2020
Commit:044801c1 on master
Hostname:warfa with Racket 7.5
Seed:2020066
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune8.0m (68.2%)

Filtered
31885 candidates to 27855 candidates (87.4%)

simplify2.4m (20.7%)

Algorithm
183×egg-herbie

sample30.6s (4.3%)

Algorithm
72×intervals
Results
9.4s292299×body80valid
5.2s14224×body1280valid
2.7s3731×body2560valid
1.9s9596×body640valid
1.4s100702×pre80true
1.0s2267×body10240exit
738.0ms7018×body320valid
569.0ms18920×body80nan
492.0ms8945×body160valid
93.0ms235×body5120valid
3.0ms100×pre80false

series28.8s (4.1%)

Calls

331 calls:

729.0ms
(cbrt (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))))
402.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))
398.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
397.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
397.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))

rewrite12.7s (1.8%)

Algorithm
114×rewrite-expression-head
Calls

331 calls:

669.0ms
(+ (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (* 333.75 (pow 33096.0 6.0))) (- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))))
164.0ms
(- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))
144.0ms
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
143.0ms
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
78.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
Rules
97656×associate-*l/
66732×frac-times
34388×flip-+ flip3-+
28689×flip-- flip3--
22764×associate-*r/
20879×frac-sub
16842×frac-add
12960×distribute-neg-frac
3435×*-un-lft-identity
3426×add-sqr-sqrt
3028×times-frac
2614×add-exp-log
2354×add-cbrt-cube
2036×add-cube-cbrt
1089×prod-exp
1001×pow1
947×cbrt-unprod
783×associate-*r*
729×add-log-exp
655×div-exp
639×sqrt-prod
589×cbrt-undiv
467×distribute-lft-out
463×difference-of-squares
460×unpow-prod-down
424×associate-*l*
355×cbrt-prod
317×cbrt-div
303×associate-/l*
281×pow-prod-down
251×associate-/r*
239×distribute-lft-out--
213×sqr-pow
194×div-inv
184×unswap-sqr
176×cube-prod
174×associate-/r/
152×sum-log
126×exp-prod
115×sqrt-pow1
113×sqrt-div
101×sub-neg
90×distribute-rgt-in distribute-lft-in
88×log-pow
86×*-commutative
84×swap-sqr
79×diff-log
78×log-prod
76×associate-/l/
71×pow-prod-up
70×unpow2
60×distribute-rgt-neg-in
58×pow-exp
57×pow1/2 clear-num frac-2neg
48×rem-sqrt-square pow-to-exp
47×pow-sqr
41×+-commutative
38×pow1/3
34×1-exp
33×distribute-lft-neg-in
32×pow-plus
31×associate-+r+
28×associate-+l+
27×pow2
25×rec-exp
20×associate--r+
17×cube-div
16×div-sub
14×unpow3 cube-mult
12×rem-cube-cbrt log-div
11×neg-sub0 neg-mul-1
9×pow-unpow neg-log
8×associate--l- associate--l+ pow-pow
7×distribute-lft-neg-out pow-flip rem-log-exp
6×rem-cbrt-cube
5×un-div-inv inv-pow
4×distribute-neg-in distribute-frac-neg exp-to-pow
3×difference-cubes rem-exp-log associate-+r- associate-+l-
2×sqrt-undiv distribute-lft1-in distribute-rgt-out
1×sqrt-unprod cube-unmult distribute-rgt-out-- sub-div rem-square-sqrt associate--r- unsub-neg

regimes3.8s (0.5%)

Accuracy

Total 27.8b remaining (7.6%)

Threshold costs 3.4b (0.9%)

6.0b67.4%Compound Interest
4.8b75.5%Kahan p9 Example
4.0b85%The quadratic formula (r2)
2.9b0%Complex division, real part
2.9b0%Complex division, imag part

localize1.5s (0.2%)

bsearch922.0ms (0.1%)

end1.0ms (0.0%)