Date:Wednesday, April 29th, 2020
Commit:293eb8dd on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020120
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 (67.5%)

Filtered
31998 candidates to 27962 candidates (87.4%)

simplify2.5m (20.8%)

Algorithm
181×egg-herbie

sample35.7s (5.0%)

Algorithm
72×intervals
Results
11.9s293703×body80valid
6.0s14198×body1280valid
2.9s3824×body2560valid
2.3s9536×body640valid
2.2s100602×pre80true
957.0ms6886×body320valid
756.0ms19465×body80nan
647.0ms8860×body160valid
270.0ms200×body5120exit
137.0ms1932×body80overflowed
123.0ms229×body5120valid
4.0ms100×pre80false

series28.7s (4.1%)

Calls

317 calls:

756.0ms
(cbrt (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))))
731.0ms
(cbrt (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))))
730.0ms
(cbrt (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))))
417.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
407.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))

rewrite12.5s (1.8%)

Algorithm
112×rewrite-expression-head
Calls

317 calls:

600.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))))))))
145.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)))))))
141.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)))))))
81.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
65.0ms
(* (* (+ (* -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))))))
Rules
97736×associate-*l/
66960×frac-times
34417×flip-+ flip3-+
28959×flip-- flip3--
23100×associate-*r/
20979×frac-sub
16940×frac-add
12960×distribute-neg-frac
4049×times-frac
3745×*-un-lft-identity
3740×add-sqr-sqrt
2309×add-cube-cbrt
1785×add-exp-log
1420×add-cbrt-cube
869×associate-*r*
745×add-log-exp
734×pow1
659×unpow-prod-down
622×prod-exp
555×cbrt-div
546×difference-of-squares
476×sqrt-prod
459×cbrt-unprod
447×associate-*l*
419×div-exp
397×distribute-lft-out
384×associate-/r*
349×distribute-lft-out--
342×associate-/r/
339×cbrt-prod
301×cbrt-undiv
278×associate-/l*
250×sqr-pow
241×div-inv
197×cube-prod
169×pow-prod-down
163×unswap-sqr
159×sum-log
115×swap-sqr
109×sub-neg
96×unpow2
93×diff-log
84×sqrt-div
79×*-commutative
78×exp-prod
77×pow-exp
76×distribute-rgt-in distribute-lft-in
75×pow-to-exp
74×exp-neg
73×associate-/l/
70×distribute-rgt-neg-in
66×neg-sub0
58×exp-diff log-prod
54×clear-num frac-2neg
44×distribute-lft-neg-in
40×+-commutative
38×log-pow
34×cube-div
33×pow1/2 sqrt-pow1
32×rem-sqrt-square associate-+r+
31×pow-prod-up pow-unpow
29×1-exp
28×rec-exp
25×associate-+l+ pow1/3
24×unpow3 cube-mult div-sub
22×un-div-inv
21×pow-sqr associate--l+
20×pow-plus
17×associate--r+
16×pow2 neg-mul-1
12×pow-pow
11×associate--l-
10×neg-log rem-cbrt-cube log-div
8×rem-exp-log rem-log-exp
7×exp-sum
6×rem-cube-cbrt
5×inv-pow distribute-lft-neg-out pow-flip distribute-frac-neg
4×distribute-neg-in unpow-prod-up
3×associate-+r-
2×associate-+l-
1×sqrt-pow2 e-exp-1 distribute-lft1-in sqrt-unprod pow3 cube-unmult unsub-neg rem-square-sqrt

regimes3.7s (0.5%)

Accuracy

Total 26.1b remaining (7.9%)

Threshold costs 3.9b (1.2%)

5.8b68.6%Compound Interest
4.8b76.4%Kahan p9 Example
3.6b86.4%The quadratic formula (r2)
3.2b-6.2%Complex division, real part
2.4b22.7%Complex division, imag part

localize1.4s (0.2%)

bsearch924.0ms (0.1%)

end1.0ms (0.0%)