Details

prune40.9s (30.3%)

sample33.1s (24.6%)

Algorithm
73×intervals
Results
9.1s294754×body80valid
4.6s13607×body1280valid
2.6s3981×body2560valid
1.8s16718×body160valid
1.7s9368×body640valid
1.3s100594×pre80true
1.1s2210×body10240exit
743.0ms7042×body320valid
544.0ms19273×body80nan
82.0ms240×body5120valid
3.0ms100×pre80false

series29.0s (21.5%)

Calls

286 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
908.0ms
(+ (fma (sqrt (+ e (+ d c))) (sqrt (+ e (+ d c))) b) a)
527.0ms
(fma (sqrt (+ e (+ d c))) (sqrt (+ e (+ d c))) b)
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)))))
411.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite15.6s (11.6%)

Algorithm
105×rewrite-expression-head
Calls

286 calls:

572.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
569.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
569.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
491.0ms
(+ (+ (+ (+ e d) c) b) a)
430.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
Rules
15195×times-frac
13460×add-sqr-sqrt
13292×*-un-lft-identity
10007×add-cube-cbrt
7167×prod-diff
5002×unpow-prod-down
4007×cube-prod
2397×add-exp-log
2074×add-cbrt-cube
1970×difference-of-squares
1654×sqr-pow
1028×distribute-lft-out
1012×associate-+r+
961×prod-exp
887×distribute-rgt-in distribute-lft-in
831×associate-*r*
786×cbrt-unprod
776×div-inv
745×associate-/l*
740×pow1
677×div-exp
628×distribute-lft-out--
579×associate-*l*
578×cbrt-undiv
559×add-log-exp
378×sqrt-prod
376×unpow3 cube-mult
293×swap-sqr
287×log1p-expm1-u expm1-log1p-u
284×associate-/r/
279×fma-neg
241×flip-+ flip3-+
225×cbrt-prod
209×frac-times
206×associate-/r*
185×distribute-rgt-neg-in
157×flip-- flip3--
155×unswap-sqr
152×associate-*r/
150×distribute-lft-neg-in
140×pow-prod-down
135×associate-*l/
115×fma-def
110×log-prod
106×sum-log
104×frac-sub
100×associate-/l/
82×exp-sum
76×exp-neg
69×*-commutative
68×pow-prod-up
66×neg-sub0
64×1-exp
63×sub-neg
60×sqrt-div
57×exp-diff
56×sqrt-pow1
54×clear-num frac-2neg diff-log
50×neg-mul-1
46×fma-udef pow-sqr
40×pow-plus pow-exp
35×pow1/2 unpow2
32×pow-to-exp
31×pow2
30×pow-unpow difference-cubes pow1/3
28×+-commutative rec-exp
25×un-div-inv
21×div-sub
19×rem-sqrt-square
16×pow-pow
11×cube-div associate-+l+ frac-add log-pow sum-cubes
10×cbrt-div
8×associate--l- log-div
7×neg-log
6×rem-cube-cbrt exp-prod rem-cbrt-cube
4×distribute-lft-neg-out distribute-frac-neg hypot-def rem-log-exp
3×expm1-log1p expm1-udef associate-+l-
2×log1p-udef log1p-expm1 associate--r+
1×associate-+r- sqrt-unprod pow3 cube-unmult rem-square-sqrt distribute-rgt-out distribute-rgt-out-- associate--l+

simplify10.9s (8.1%)

regimes3.0s (2.3%)

Accuracy

Total 47.5b remaining (18.9%)

Threshold costs 2.6b (1%)

11.7b48.6%Compound Interest
9.0b26.4%Complex division, imag part
8.2b24.7%Complex division, real part
5.0b76.5%Kahan p9 Example
4.3b83.8%The quadratic formula (r1)

localize1.4s (1.0%)

bsearch833.0ms (0.6%)

end1.0ms (0.0%)