Details

simplify6.8m (46.3%)

prune3.0m (20.7%)

rewrite1.9m (13.2%)

Algorithm
112×rewrite-expression-head
Calls

316 calls:

34.1s
(- (pow (/ (* (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0)))) (- (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) 3) (/ (pow (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) 6) (pow (- (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))) 3)))
18.7s
(- (/ (* (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0)))) (- (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (/ (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))) (- (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))
5.3s
(/ (- (* (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0)))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (- (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))
4.3s
(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
3.1s
(+ (* (* (* 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))))) (* (* x1 x1) (- 6.0))))
Rules
30762×frac-times
24523×cbrt-div
15023×exp-neg
11277×neg-sub0
11274×exp-diff
9427×associate-*l/
9342×frac-sub
8797×associate-*r/
8440×flip-- flip3--
3750×un-div-inv
3582×flip-+ flip3-+
3070×add-sqr-sqrt
2859×*-un-lft-identity
2510×times-frac
1902×add-exp-log
1722×add-cube-cbrt
1649×add-cbrt-cube
944×pow1
817×associate-*r*
730×add-log-exp
726×prod-exp
656×cbrt-unprod
598×difference-of-squares
550×unpow-prod-down
447×associate-*l*
404×sqrt-prod
385×div-exp
368×distribute-lft-out
335×cbrt-undiv
291×associate-/r*
284×associate-/r/
273×sqr-pow pow-prod-down
261×cbrt-prod
244×associate-/l*
228×cube-prod
222×distribute-lft-out--
207×sqrt-div
178×div-inv
159×unswap-sqr
156×sum-log
151×associate-/l/
111×sub-neg
96×diff-log
88×*-commutative
82×frac-add
65×swap-sqr
63×distribute-rgt-neg-in
60×distribute-lft-neg-in clear-num frac-2neg
58×distribute-rgt-in distribute-lft-in
54×pow-prod-up
45×log-prod
44×pow-unpow
41×+-commutative
40×pow-exp
37×cube-div associate--l+
36×pow-to-exp pow-sqr exp-prod
32×log-pow sqrt-pow1
30×pow1/2
29×pow-plus unpow2
28×associate-+l+
27×rem-sqrt-square
25×distribute-rgt-out--
24×pow1/3
23×pow2 associate-+r+
20×rec-exp neg-mul-1 1-exp
18×div-sub associate--r+ pow-pow
17×unpow3 cube-mult
14×distribute-lft1-in associate--l- log-div
13×distribute-rgt-out
9×rem-cube-cbrt distribute-rgt-neg-out
8×difference-cubes associate-+r-
7×pow-flip
6×distribute-frac-neg rem-cbrt-cube rem-log-exp
5×inv-pow distribute-lft-neg-out associate--r-
4×unsub-neg sub-div
3×unpow-prod-up
2×sum-cubes
1×sqrt-pow2 rem-exp-log cube-unmult neg-log

series1.6m (10.6%)

Calls

316 calls:

51.3s
(/ (- (pow (* (pow (+ 1.0 (/ i n)) n) (pow (+ 1.0 (/ i n)) n)) 3) (pow (* 1.0 1.0) 3)) (/ (* (+ (pow (pow (+ 1.0 (/ i n)) n) 4) (* (* 1.0 1.0) (+ (* 1.0 1.0) (pow (+ 1.0 (/ i n)) (* 2 n))))) (* i (+ (pow (+ 1.0 (/ i n)) n) 1.0))) n))
2.5s
(/ (- (* (pow (+ 1.0 (/ i n)) n) (pow (+ 1.0 (/ i n)) n)) (* 1.0 1.0)) (* (/ i n) (+ (pow (+ 1.0 (/ i n)) n) 1.0)))
700.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))
633.0ms
(* 5.5 (pow y 8.0))
632.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

sample1.2m (8.3%)

Algorithm
73×intervals
Results
26.9s293998×body80valid
8.0s13537×body1280valid
5.2s16920×body160valid
4.0s9617×body640valid
4.0s3833×body2560valid
3.2s100662×pre80true
2.3s19413×body80nan
2.3s2180×body10240exit
1.7s6765×body320valid
235.0ms246×body5120valid
4.0ms100×pre80false

regimes3.6s (0.4%)

Accuracy

Total 31.1b remaining (7.3%)

Threshold costs 2.9b (0.7%)

11.6b54.5%Compound Interest
4.6b83.7%The quadratic formula (r1)
4.5b77.2%Kahan p9 Example
2.9b0%Complex division, imag part
2.3b23.6%Complex division, real part

localize2.8s (0.3%)

bsearch1.3s (0.1%)

end1.0ms (0.0%)