Details

simplify7.5m (67.2%)

prune1.3m (11.3%)

sample1.2m (11.1%)

Algorithm
73×intervals
Results
26.5s294310×body80valid
9.6s13712×body1280valid
5.1s16845×body160valid
4.6s3903×body2560valid
4.4s9310×body640valid
3.4s100636×pre80true
2.9s2227×body10240exit
1.7s6878×body320valid
1.3s19547×body80nan
201.0ms257×body5120valid
7.0ms100×pre80false

series44.6s (6.6%)

Calls

311 calls:

2.0s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
681.0ms
(- (* (pow x 4.0) 9.0) (pow y 4))
661.0ms
(cbrt (pow x 4.0))
656.0ms
(fma x (* x (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0)))) (fma 333.75 (pow y 6.0) (fma 5.5 (pow y 8.0) (/ x (* 2.0 y)))))
632.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite18.8s (2.8%)

Algorithm
110×rewrite-expression-head
Calls

311 calls:

794.0ms
(+ (+ (+ (+ e d) c) b) a)
771.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
574.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))
557.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
547.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
Rules
14267×times-frac
12401×*-un-lft-identity
12054×add-sqr-sqrt
8491×add-cube-cbrt
4333×prod-diff
3899×sqrt-prod
1917×difference-of-squares
1856×unpow-prod-down
1804×add-exp-log
1451×add-cbrt-cube
1363×cube-prod
1212×distribute-lft-out
1006×sqr-pow
762×distribute-lft-out--
730×associate-/l*
726×pow1
664×div-inv
628×associate-*r*
610×associate-*l*
588×distribute-rgt-in distribute-lft-in
585×add-log-exp
547×prod-exp
539×div-exp
535×associate-+r+
419×cbrt-unprod
402×associate-/r*
364×cbrt-undiv
311×log1p-expm1-u expm1-log1p-u
267×distribute-rgt-neg-in
246×cbrt-prod
228×distribute-lft-neg-in
225×fma-neg
190×associate-/r/
182×pow-prod-down
162×unswap-sqr
155×flip-- flip3--
153×flip-+ flip3-+
151×fma-def
122×associate-*l/
111×sum-log
102×associate-*r/
100×associate-/l/
99×cube-mult
98×unpow3
92×frac-times
87×difference-cubes
84×swap-sqr
76×neg-mul-1
75×clear-num frac-2neg
73×sqrt-pow1
69×unpow2
64×sqrt-div
63×*-commutative
58×sub-neg
57×1-exp
55×fma-udef
53×pow1/2
49×diff-log
38×log-prod
36×rec-exp
35×rem-sqrt-square
32×pow-prod-up
28×pow-to-exp pow1/3 +-commutative pow-exp
26×div-sub
22×pow-sqr
21×cbrt-div
19×pow-unpow
15×frac-add pow-plus
13×log-pow
12×exp-prod
11×pow2 neg-sub0 frac-sub pow-pow
10×log-div
9×associate--l+
8×associate--l- neg-log
7×associate-+l+
6×distribute-lft-neg-out exp-sum
5×distribute-frac-neg associate-+l-
4×rem-exp-log sqrt-undiv un-div-inv rem-cbrt-cube rem-log-exp
3×exp-diff sqrt-unprod rem-square-sqrt
2×cube-div rem-cube-cbrt exp-to-pow inv-pow pow-flip distribute-rgt-out expm1-udef
1×sqrt-pow2 distribute-lft1-in pow3 expm1-log1p associate-+r- hypot-def associate--r- sum-cubes distribute-rgt-neg-out

regimes3.4s (0.5%)

Accuracy

Total 36.8b remaining (12.6%)

Threshold costs 2.2b (0.8%)

9.9b55.3%Compound Interest
9.1b17.6%Complex division, real part
7.0b37%Complex division, imag part
5.5b77.2%The quadratic formula (r2)
1.6b0%Rosa's DopplerBench

localize2.5s (0.4%)

bsearch1.1s (0.2%)

end0.0ms (0.0%)