Details

sample47.0s (34.3%)

Algorithm
73×intervals
Results
18.5s294421×body80valid
6.6s13795×body1280valid
3.2s3939×body2560valid
3.0s16832×body160valid
2.9s9492×body640valid
2.3s100686×pre80true
1.3s6930×body320valid
994.0ms19250×body80nan
306.0ms200×body10240exit
236.0ms2013×body80overflowed
125.0ms219×body5120valid
6.0ms100×pre80false

prune38.5s (28.1%)

series26.3s (19.2%)

Calls

276 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
481.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)))))
476.0ms
(fma (- (/ (/ 2.0 (cbrt t)) (cbrt (+ 1.0 (/ 1.0 t))))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t))))) (* (/ (/ 2.0 (cbrt t)) (cbrt (+ 1.0 (/ 1.0 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))))
408.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
405.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))

simplify10.6s (7.8%)

Algorithm
173×egg-herbie

rewrite9.7s (7.1%)

Algorithm
103×rewrite-expression-head
Calls

276 calls:

698.0ms
(* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (/ (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (fma x1 x1 1.0)))
350.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
321.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 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)))
283.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
282.0ms
(+ (+ (+ (+ e d) c) b) a)
Rules
13010×times-frac
11672×*-un-lft-identity
10588×add-sqr-sqrt
9110×add-cube-cbrt
6799×prod-diff
1569×add-exp-log
1179×add-cbrt-cube
1003×unpow-prod-down
972×distribute-lft-out
968×distribute-rgt-in distribute-lft-in
963×associate-*r*
865×div-inv
616×pow1
566×add-log-exp
528×difference-of-squares
518×prod-exp
419×div-exp
392×cube-prod
388×associate-*l*
362×sqr-pow
358×sqrt-prod
333×cbrt-unprod
314×distribute-lft-out--
303×associate-/r/
294×associate-/r*
284×cbrt-prod
282×associate-/l*
276×log1p-expm1-u flip-+ flip3-+ expm1-log1p-u
273×fma-neg
271×frac-times
265×cbrt-undiv
223×frac-sub
215×flip3-- flip--
212×associate-*r/
193×associate-*l/
162×exp-neg
151×unswap-sqr
147×pow-prod-down
142×exp-diff
139×associate-+l+
132×distribute-rgt-neg-in
130×neg-sub0
110×sum-log
105×fma-def
104×distribute-lft-neg-in
93×1-exp
86×unpow3 cube-mult
78×sub-neg
76×sqrt-div
75×associate-/l/
69×*-commutative
68×log-prod
57×clear-num rec-exp frac-2neg diff-log
46×un-div-inv
39×swap-sqr
37×sqrt-pow1
36×neg-mul-1
35×fma-udef
33×unpow2
32×log-div
31×pow1/2
26×+-commutative
23×log-pow
22×pow-to-exp pow-exp
20×associate-+r+
19×div-sub
18×frac-add
17×exp-prod
16×rem-sqrt-square
15×pow-prod-up
13×pow-sqr
12×associate--r+
11×exp-sum
9×distribute-lft-neg-out pow-plus
8×pow2 pow-flip pow1/3 neg-log
7×inv-pow
6×rem-exp-log pow-unpow associate--l- rem-log-exp
5×cbrt-div
4×associate-+l-
3×cube-div hypot-udef distribute-frac-neg hypot-def rem-cbrt-cube
2×unsub-neg pow-pow
1×sqrt-unprod sub-div expm1-log1p rem-square-sqrt distribute-rgt-out-- expm1-udef exp-to-pow

regimes2.5s (1.8%)

Accuracy

Total 42.5b remaining (14.4%)

Threshold costs 3.8b (1.3%)

13.3b40.1%Compound Interest
8.1b32.2%Complex division, imag part
7.3b34.2%Complex division, real part
5.0b82.6%The quadratic formula (r1)
4.8b83.2%The quadratic formula (r2)

localize1.3s (0.9%)

bsearch1.0s (0.8%)

end1.0ms (0.0%)