Details

sample51.4s (35.9%)

Algorithm
73×intervals
Results
21.2s294572×body80valid
6.1s13504×body1280valid
3.8s17038×body160valid
3.2s3909×body2560valid
2.8s100682×pre80true
2.8s9511×body640valid
1.4s2127×body10240exit
1.2s6762×body320valid
1.1s18862×body80nan
119.0ms204×body5120valid
6.0ms100×pre80false

prune38.5s (26.9%)

series28.3s (19.8%)

Calls

300 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
953.0ms
(log (cbrt (pow (exp 1) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))))
940.0ms
(log (cbrt (pow (exp 1) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))))
527.0ms
(log (pow (exp 1) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)))
475.0ms
(fma (* (fma (/ 1 (* (cbrt (+ (* x1 x1) 1.0)) (cbrt (+ (* x1 x1) 1.0)))) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (cbrt (+ (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (+ (/ (* (* (pow x1 2) 4.0) (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- 6.0))))

simplify10.3s (7.2%)

Algorithm
177×egg-herbie

rewrite8.1s (5.7%)

Algorithm
107×rewrite-expression-head
Calls

300 calls:

322.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
277.0ms
(+ (+ (+ (+ e d) c) b) a)
269.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
269.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
268.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
12552×times-frac
11106×*-un-lft-identity
9733×add-sqr-sqrt
8048×add-cube-cbrt
4231×prod-diff
2096×sqrt-prod
1906×add-exp-log
1380×add-cbrt-cube
1100×distribute-lft-out
1047×associate-*r*
767×div-inv
726×distribute-rgt-in distribute-lft-in
674×associate-/l*
648×pow1
605×add-log-exp prod-exp
583×div-exp
561×associate-*l*
523×difference-of-squares
428×distribute-lft-out--
407×unpow-prod-down
378×swap-sqr
376×cbrt-undiv
370×cbrt-unprod
303×log1p-expm1-u
300×expm1-log1p-u
295×associate-/r*
293×associate-/r/
268×cbrt-prod
256×fma-neg
237×distribute-rgt-neg-in
209×flip-+ flip3-+
196×unswap-sqr
184×distribute-lft-neg-in
168×sqr-pow
137×flip3-- flip--
132×pow-prod-down
119×sum-log
112×associate-*r/
111×1-exp
95×cube-prod frac-times
93×fma-def
85×associate-/l/
79×log-prod
72×associate-*l/
69×clear-num frac-2neg
68×*-commutative
65×sub-neg
62×neg-mul-1
61×rec-exp
60×unpow2 sqrt-div
59×diff-log
55×cbrt-div
40×fma-udef
39×pow-to-exp pow-exp
35×pow1/3
29×pow-unpow
27×pow-prod-up +-commutative
24×log-pow div-sub
23×pow-plus associate-+r+
19×pow1/2 pow-sqr sqrt-pow1
17×pow2 unpow3 cube-mult frac-sub
15×rem-sqrt-square
14×frac-add exp-prod pow-pow
12×neg-sub0 associate--r+
11×pow-flip rem-log-exp
10×neg-log associate-+l+ associate--l-
8×cube-div inv-pow log-div
7×rem-cbrt-cube
6×sqrt-undiv distribute-lft-neg-out
5×un-div-inv distribute-frac-neg expm1-udef
4×associate-+r- hypot-def
3×difference-cubes sqrt-pow2 expm1-log1p rem-exp-log exp-to-pow
2×associate-+l- associate--l+
1×exp-diff log1p-udef log1p-def pow3 exp-neg log1p-expm1 unsub-neg rem-square-sqrt distribute-rgt-out sqrt-unprod

regimes3.5s (2.5%)

Accuracy

Total 44.6b remaining (14.8%)

Threshold costs 2.8b (0.9%)

11.5b49.4%Compound Interest
8.8b25.8%Complex division, real part
8.5b31.5%Complex division, imag part
5.2b81.4%The quadratic formula (r2)
5.0b79%The quadratic formula (r1)

bsearch1.6s (1.1%)

localize1.3s (0.9%)

end1.0ms (0.0%)