Details

sample47.0s (33.4%)

Algorithm
73×intervals
Results
18.5s293733×body80valid
6.6s13720×body1280valid
3.3s3897×body2560valid
3.0s16936×body160valid
2.9s9397×body640valid
2.3s100612×pre80true
1.3s6752×body320valid
992.0ms19380×body80nan
272.0ms200×body10240exit
231.0ms1979×body80overflowed
129.0ms238×body5120valid
6.0ms100×pre80false

prune38.1s (27.1%)

series29.9s (21.2%)

Calls

290 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
804.0ms
(cbrt (/ (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))) (/ 1 n)))
804.0ms
(cbrt (/ (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))) (/ 1 n)))
783.0ms
(cbrt (/ (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))) (/ 1 n)))
474.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))

simplify10.7s (7.6%)

Algorithm
174×egg-herbie

rewrite9.6s (6.8%)

Algorithm
104×rewrite-expression-head
Calls

290 calls:

781.0ms
(* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
353.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
303.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
301.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
294.0ms
(+ (+ (+ (+ e d) c) b) a)
Rules
12247×times-frac
10824×*-un-lft-identity
9767×add-sqr-sqrt
8283×add-cube-cbrt
5239×prod-diff
2794×add-exp-log
2282×add-cbrt-cube
1744×sqrt-prod
1566×unpow-prod-down
1118×prod-exp
1028×associate-+r+
936×distribute-lft-out
900×associate-*r*
865×cbrt-unprod
851×div-exp
817×pow1
694×div-inv
653×cbrt-undiv
600×associate-*l*
574×add-log-exp
562×distribute-rgt-in distribute-lft-in
561×cube-prod
551×sqr-pow
525×cbrt-prod
482×associate-/l*
408×difference-of-squares
404×swap-sqr
320×distribute-lft-out--
290×log1p-expm1-u expm1-log1p-u
287×associate-/r/
286×associate-/r*
281×distribute-rgt-neg-in
276×frac-times
240×distribute-lft-neg-in
237×fma-neg
231×flip-+ flip3-+
213×unswap-sqr
194×associate-*r/
185×flip3-- flip--
181×associate-*l/
178×pow-prod-down
169×unpow3 cube-mult
120×1-exp
115×sum-log
109×cbrt-div
102×frac-sub
91×fma-def
84×exp-neg
80×neg-mul-1
76×pow-prod-up
75×*-commutative neg-sub0
73×sqrt-div
70×associate-/l/ sub-neg
69×clear-num frac-2neg
64×exp-diff
55×diff-log
54×rec-exp
52×pow-sqr
47×log-prod
46×pow1/2 sqrt-pow1
41×pow-plus
35×fma-udef unpow2
34×pow2
32×pow-flip
27×un-div-inv
26×pow1/3 pow-exp
24×+-commutative
23×pow-to-exp div-sub
19×rem-sqrt-square
14×cube-div log-pow
13×frac-add
12×inv-pow exp-sum associate--r+
10×log-div
9×associate--l- neg-log
6×sqrt-undiv pow-unpow associate-+l+ distribute-rgt-out-- distribute-frac-neg rem-cbrt-cube
5×distribute-lft-neg-out rem-log-exp
4×rem-cube-cbrt associate-+r-
3×sqrt-unprod rem-square-sqrt hypot-def
2×sub-div hypot-udef associate-+l- associate--l+ pow-pow
1×unsub-neg sum-cubes

regimes2.9s (2.1%)

Accuracy

Total 32.1b remaining (11.4%)

Threshold costs 4.1b (1.5%)

11.5b48%Compound Interest
7.2b38.2%Complex division, real part
4.6b83.9%The quadratic formula (r2)
3.3b87.7%The quadratic formula (r1)
1.3b0%Rosa's DopplerBench

localize1.3s (0.9%)

bsearch1.2s (0.8%)

end1.0ms (0.0%)