Details

simplify4.8m (50.3%)

prune2.1m (22.3%)

sample1.5m (16.2%)

Algorithm
66×intervals
Results
37.1s262007×body80valid
13.0s13999×body1280valid
8.6s16681×body160valid
6.3s3795×body2560valid
5.7s9366×body640valid
4.5s2226×body10240exit
3.1s67864×pre80true
2.8s6925×body320valid
2.1s19408×body80nan
300.0ms267×body5120valid
11.0ms100×pre80false

series28.4s (5.0%)

Calls

306 calls:

1.1s
(- (log (cbrt (exp (* (* (* x x) x) 2/3)))) (* x x))
1.0s
(log (cbrt (exp (* (* (* x x) x) 2/3))))
968.0ms
(log (* (cbrt (exp (* (* (* x x) x) 2/3))) (cbrt (exp (* (* (* x x) x) 2/3)))))
607.0ms
(* (* (- c (+ a b)) (- e d)) (+ (+ e d) (+ c (+ a b))))
446.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

rewrite24.9s (4.4%)

Algorithm
103×rewrite-expression-head
Calls

306 calls:

2.3s
(* (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ (* x1 (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) 2)) (* (* x1 x1) 4)))
2.3s
(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) 2)) (* (* x1 x1) 4)))
2.1s
(- (+ (/ 1 (* (* (* x x) (* x x)) x)) (/ 1 x)) (/ (/ 1 x) (* x x)))
999.0ms
(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
958.0ms
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
Rules
4807×times-frac
4350×*-un-lft-identity
4321×add-sqr-sqrt
2508×add-exp-log
2364×add-cube-cbrt
2308×add-cbrt-cube
1515×pow1
1023×prod-exp
949×cbrt-unprod
782×associate-*r*
753×difference-of-squares
649×add-log-exp
625×div-exp
578×associate-*l*
550×cbrt-undiv
501×distribute-lft-out
481×distribute-lft-out--
468×flip-+ flip3-+
455×frac-times
410×sqrt-prod
391×associate-/r*
376×div-inv
370×pow-prod-down
310×associate-/l*
306×insert-posit16
292×associate-*r/
284×flip3-- flip--
272×associate-/r/
268×pow-prod-up
240×associate-*l/
190×unpow-prod-down
164×sqrt-div
156×distribute-rgt-neg-in
153×pow-plus
139×pow-sqr
127×unswap-sqr
126×sqr-pow
119×sum-log
117×swap-sqr
113×frac-add
110×associate-/l/
108×cbrt-div
98×*-commutative
96×frac-sub
94×sub-neg
89×difference-of-sqr-1
86×exp-diff pow2
83×distribute-lft-neg-in
77×diff-log
74×exp-neg
73×distribute-rgt-in distribute-lft-in
63×neg-sub0
59×pow-flip
58×frac-2neg clear-num log-div
56×log-prod
50×log-pow
42×sqrt-pow1
41×pow1/2
36×exp-prod
35×1-exp rec-exp
32×+-commutative
31×rem-sqrt-square
29×associate-+r+ neg-mul-1
27×div-sub
25×exp-sum
24×associate-+l+ associate--l+
22×pow1/3
21×un-div-inv
16×cbrt-prod
12×pow-exp pow-to-exp rem-log-exp distribute-rgt-out
10×distribute-frac-neg inv-pow
9×rem-exp-log
8×distribute-lft-neg-out distribute-rgt-out-- pow-div
7×associate--l- exp-to-pow
6×pow-unpow pow3
5×associate-+r- associate--r+
4×cube-prod cube-unmult neg-log
3×remove-posit16
2×distribute-lft1-in sub-div pow-pow rem-cbrt-cube unsub-neg
1×sub0-neg unpow3 distribute-neg-frac cube-mult

regimes4.8s (0.9%)

Accuracy

Total 27.3b remaining (12.8%)

Threshold costs 2.5b (1.2%)

11.8b56.6%Compound Interest
6.1b78.1%The quadratic formula (r1)
2.6b0%Complex division, real part
2.1b21.6%Complex division, imag part
1.1b0%Rosa's DopplerBench

localize3.7s (0.6%)

bsearch1.8s (0.3%)

end1.0ms (0.0%)