Details

sample47.8s (34.5%)

Algorithm
73×intervals
Results
18.9s294403×body80valid
6.8s14031×body1280valid
3.2s3951×body2560valid
3.0s16750×body160valid
2.9s9261×body640valid
2.5s100653×pre80true
1.3s6892×body320valid
995.0ms19070×body80nan
289.0ms200×body10240exit
243.0ms1975×body80overflowed
144.0ms223×body5120valid
6.0ms100×pre80false

prune35.3s (25.4%)

series29.8s (21.5%)

Calls

285 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
706.0ms
(pow (pow (+ a b) 6) 3)
558.0ms
(/ 1.0 (+ 2.0 (* (fma (sqrt 2.0) (sqrt 2.0) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
479.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)))))
451.0ms
(fma (* (fma (* (cbrt (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (cbrt (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (cbrt (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

simplify11.4s (8.2%)

Algorithm
176×egg-herbie

rewrite8.5s (6.1%)

Algorithm
106×rewrite-expression-head
Calls

285 calls:

348.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)))
332.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)
302.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
286.0ms
(+ (+ (+ (+ e d) c) b) a)
Rules
11762×times-frac
10209×*-un-lft-identity
9283×add-sqr-sqrt
7943×add-cube-cbrt
5206×prod-diff
1618×add-exp-log
1229×add-cbrt-cube
1194×unpow-prod-down
984×distribute-rgt-in distribute-lft-in
832×distribute-lft-out
729×div-inv
696×cbrt-prod
636×pow1
604×associate-*r*
573×sqrt-prod
571×add-log-exp
516×difference-of-squares
492×associate-*l* div-exp
490×prod-exp
452×sqr-pow
388×cube-prod
370×associate-/l*
338×cbrt-unprod
308×cbrt-undiv
302×fma-neg
300×distribute-lft-out--
286×expm1-log1p-u
285×log1p-expm1-u
259×associate-/r/
238×distribute-rgt-neg-in
222×associate-/r*
192×distribute-lft-neg-in
184×flip-+ flip3-+
141×associate-+l+ unswap-sqr
140×flip3-- flip--
119×swap-sqr
116×frac-times
115×associate-*r/
114×pow-prod-down
113×sum-log
112×unpow3 cube-mult
86×fma-def 1-exp
80×associate-*l/ sub-neg
72×associate-/l/
64×neg-mul-1
61×*-commutative
59×diff-log
50×sqrt-div
49×clear-num pow-exp frac-2neg
48×pow-unpow
46×fma-udef
44×rec-exp
39×cbrt-div log-prod
38×pow-prod-up
36×pow-to-exp
34×log-pow sqrt-pow1
32×pow1/2 pow1/3
27×pow-plus
25×pow-pow
24×frac-add
23×pow-sqr
22×associate-+r+ +-commutative frac-sub
18×pow2 div-sub exp-prod
16×associate--r+
14×rem-sqrt-square
13×rem-cube-cbrt
11×associate--l+
10×log-div
8×distribute-lft-neg-out associate--l-
7×cube-div neg-sub0 unpow2
6×rem-log-exp
5×neg-log
4×rem-cbrt-cube
3×distribute-frac-neg associate--r- exp-sum
2×sqrt-unprod pow3 inv-pow pow-flip rem-square-sqrt sum-cubes associate-+l-
1×rem-exp-log sqrt-pow2 un-div-inv log1p-udef associate-+r- log1p-expm1 expm1-log1p unsub-neg expm1-udef distribute-rgt-out hypot-def distribute-rgt-out--

regimes3.2s (2.3%)

Accuracy

Total 43.2b remaining (13.8%)

Threshold costs 2.5b (0.8%)

12.1b42.7%Compound Interest
8.2b34.6%Complex division, imag part
7.0b36.3%Complex division, real part
4.9b75.7%Kahan p9 Example
4.6b83.9%The quadratic formula (r2)

bsearch1.3s (1.0%)

localize1.3s (1.0%)

end1.0ms (0.0%)