Details

prune35.0s (29.6%)

sample30.9s (26.1%)

Algorithm
73×intervals
Results
10.1s293868×body80valid
4.5s13589×body1280valid
2.1s3601×body2560valid
1.8s16878×body160valid
1.8s9198×body640valid
1.6s100642×pre80true
778.0ms7105×body320valid
574.0ms19564×body80nan
221.0ms200×body10240exit
168.0ms3041×body80overflowed
92.0ms233×body5120valid
3.0ms100×pre80false

series28.3s (23.9%)

Calls

278 calls:

2.0s
(/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
967.0ms
(fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (pow y 4.0)))
495.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)))))
409.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.8s (9.1%)

Algorithm
173×egg-herbie

rewrite8.7s (7.4%)

Algorithm
103×rewrite-expression-head
Calls

278 calls:

532.0ms
(/ (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (fma 2.0 2.0 (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 2.0))))
342.0ms
(/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
318.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
279.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
276.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
10628×times-frac
10294×*-un-lft-identity
8927×add-sqr-sqrt
7409×add-cube-cbrt
5201×prod-diff
1839×add-exp-log
1676×unpow-prod-down
1416×cube-prod
1282×add-cbrt-cube
1191×distribute-lft-out
733×distribute-rgt-in distribute-lft-in
723×associate-*r*
717×div-inv
698×difference-of-squares
651×pow1
622×prod-exp
583×associate-*l*
564×div-exp
551×add-log-exp
402×associate-/r/
381×associate-/l*
378×sqrt-prod
350×cbrt-unprod
341×sqr-pow
317×cbrt-undiv
280×distribute-lft-out--
279×expm1-log1p-u
278×log1p-expm1-u
277×distribute-rgt-neg-in associate-/r*
252×fma-neg
243×flip-+ flip3-+
241×distribute-lft-neg-in
228×flip3-- flip--
220×cbrt-prod
210×frac-times
166×1-exp
152×associate-*r/
150×pow-prod-down
149×unpow3 cube-mult
130×fma-def
129×unswap-sqr
120×associate-*l/
109×sum-log
101×frac-sub
98×rec-exp
96×associate-/l/
90×sqrt-div
81×exp-neg neg-mul-1
73×neg-sub0
70×clear-num frac-2neg
66×*-commutative swap-sqr
61×exp-diff sub-neg
52×diff-log
41×fma-udef
30×sqrt-pow1
27×pow1/2
25×un-div-inv div-sub
24×pow-prod-up pow-exp
23×pow-unpow +-commutative
21×rem-sqrt-square
20×pow-to-exp
19×log-prod
18×pow-sqr pow-plus
17×frac-add
16×pow-flip
14×exp-prod
13×pow2
11×associate-+l+ inv-pow distribute-lft-neg-out pow-pow
10×associate-+r+ neg-log
9×associate--l-
7×cube-div log-pow hypot-udef
6×rem-cube-cbrt distribute-rgt-out--
5×difference-cubes unpow2 cbrt-div
4×sub-div distribute-frac-neg
3×rem-exp-log unpow-prod-up unsub-neg exp-sum
2×sqrt-unprod associate-+r- pow1/3 rem-square-sqrt hypot-def distribute-rgt-neg-out associate-+l- associate--l+ rem-cbrt-cube associate--r+ rem-log-exp log-div
1×sqrt-undiv e-exp-1 log1p-udef pow3 log1p-expm1 expm1-log1p distribute-rgt-out cube-neg expm1-udef exp-to-pow

regimes2.5s (2.1%)

Accuracy

Total 41.0b remaining (16.9%)

Threshold costs 2.5b (1%)

13.1b45.9%Compound Interest
9.9b16%Complex division, imag part
7.8b31.5%Complex division, real part
4.5b84.3%The quadratic formula (r2)
1.7b92.9%The quadratic formula (r1)

localize1.3s (1.1%)

bsearch806.0ms (0.7%)

end1.0ms (0.0%)