Details

prune39.3s (32.3%)

sample31.0s (25.5%)

Algorithm
73×intervals
Results
9.3s294046×body80valid
4.8s13816×body1280valid
2.5s3873×body2560valid
1.8s9482×body640valid
1.7s16872×body160valid
1.4s100638×pre80true
1.0s2249×body10240exit
710.0ms6907×body320valid
539.0ms19517×body80nan
76.0ms222×body5120valid
6.0ms100×pre80false

series27.1s (22.3%)

Calls

290 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
508.0ms
(cbrt (fma 1.3877787807814457e-17 (/ (pow x 3) eps) (- 1.0 (* 0.5 (pow x 2)))))
493.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)))))
414.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
411.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.3s (8.5%)

Algorithm
174×egg-herbie

rewrite8.3s (6.8%)

Algorithm
104×rewrite-expression-head
Calls

290 calls:

339.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
316.0ms
(+ (+ (+ (+ e d) c) b) a)
295.0ms
(* (* (* (cbrt (/ (- t1) (+ t1 u))) (cbrt (/ (- t1) (+ t1 u)))) (cbrt (/ (- t1) (+ t1 u)))) (/ v (+ t1 u)))
295.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
294.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))
Rules
13735×times-frac
10935×*-un-lft-identity
10259×add-sqr-sqrt
8972×add-cube-cbrt
4946×prod-diff
2777×add-exp-log
2159×add-cbrt-cube
1039×prod-exp
953×sqrt-prod
935×div-inv div-exp
901×distribute-rgt-in distribute-lft-in
871×associate-*r*
826×pow1
795×cbrt-unprod
719×distribute-lft-out
619×cbrt-undiv
555×add-log-exp
500×associate-*l*
458×distribute-rgt-neg-in
431×associate-/l*
426×distribute-lft-neg-in
368×difference-of-squares
329×associate-/r*
313×fma-neg
304×unpow-prod-down
295×associate-/r/
291×log1p-expm1-u
290×expm1-log1p-u
285×distribute-lft-out--
273×cbrt-prod
203×unswap-sqr
202×flip-+ flip3-+
165×pow-prod-down
148×1-exp
142×neg-mul-1
133×associate-*r/
130×sqr-pow
127×frac-times
116×flip-- flip3--
104×sum-log
100×swap-sqr
89×pow-prod-up
88×associate-*l/ cube-prod
83×associate-/l/
80×fma-def
74×rec-exp
70×clear-num *-commutative frac-2neg
64×sub-neg
62×exp-prod
59×sqrt-div
58×pow-sqr
52×diff-log
49×log-prod
48×pow-plus
44×unpow2 log-pow
42×pow-exp
41×fma-udef
38×pow2
37×pow-to-exp
32×cbrt-div
30×pow1/2 sqrt-pow1
27×unpow3 cube-mult
23×+-commutative frac-sub
21×div-sub
18×rem-sqrt-square
16×frac-add
15×associate-+r+
13×pow-unpow pow-flip pow1/3 neg-sub0
12×associate--r+
11×associate-+l+ associate--l-
9×neg-log
8×cube-div
7×inv-pow hypot-udef distribute-frac-neg pow-pow
6×rem-cube-cbrt rem-log-exp log-div
4×distribute-lft-neg-out unpow-prod-up hypot-def exp-sum
3×associate-+r- sqrt-unprod rem-cbrt-cube
2×rem-exp-log sub-div unsub-neg rem-square-sqrt distribute-rgt-out-- associate-+l- associate--l+
1×sqrt-pow2 e-exp-1 un-div-inv log1p-udef log1p-expm1 expm1-log1p distribute-rgt-out expm1-udef

regimes3.2s (2.7%)

Accuracy

Total 32.2b remaining (11.2%)

Threshold costs 3.5b (1.2%)

10.0b55.7%Compound Interest
7.2b36.4%Complex division, real part
4.9b83.4%The quadratic formula (r2)
4.1b53.4%Complex division, imag part
1.3b0%Rosa's DopplerBench

localize1.3s (1.0%)

bsearch1.0s (0.8%)

end1.0ms (0.0%)