Details

simplify8.7m

Calls

4728 calls:

Slowest
1.2s
(+ (* (* (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)) (* x1 x1)) (+ (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (+ (* 3 3) (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)))) (* (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* (* 2 (* x1 (- (pow (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3) (pow 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
1.1s
(+ (* (* (* (* 2 x1) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (+ (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (* 6 6) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))) (* (+ (* x1 x1) 1) (* (* x1 x1) (- (pow (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 3) (pow 6 3)))))
1.1s
(cbrt (+ (* (* (- (pow (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 3) (pow 6 3)) (* x1 x1)) (+ 1 (* x1 x1))) (* (+ (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (+ (- (* (* 3 x1) x1) x1) (* x2 2))))))
1.1s
(+ (* (* (- (pow (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 3) (pow 6 3)) (* x1 x1)) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (+ (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
1.1s
(+ (* (* (- (pow (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 3) (pow 6 3)) (* x1 x1)) (+ 1 (* x1 x1))) (* (+ (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (+ (- (* (* 3 x1) x1) x1) (* x2 2)))))

sample1.2m

Algorithm
62×intervals
Results
31.9s268753×body80valid
11.7s13659×body1280valid
5.0s3914×body2560valid
5.0s9402×body640valid
3.8s2048×body10240exit
3.0s75672×pre80true
2.3s6789×body320valid
1.7s19321×body80nan
1.2s8663×body160valid
260.0ms230×body5120valid

prune1.2m

series15.6s

Calls

285 calls:

Slowest
914.0ms
(cbrt (* (* 1/2 c) (/ 4 (- (sqrt (+ (* c (* -4 a)) (* b b))) b))))
664.0ms
(log (* (cbrt (+ 1 (* x (* x x)))) (cbrt (+ 1 (* x (* x x))))))
332.0ms
(cbrt (+ (* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
325.0ms
(log (+ 1 (* x (* x x))))
324.0ms
(/ (+ (* (exp (* n (posit16->real (real->posit16 (log1p (/ i n)))))) 100) -100) (/ i n))

regimes5.5s

Accuracy

Total 35.0b remaining (35.3%)

13.9b42.2%Compound Interest
4.9b74%Kahan p9 Example
4.3b84.5%The quadratic formula (r1)
2.7b0%Complex division, imag part
2.7b0%Complex division, real part

rewrite3.0s

Algorithm
98×rewrite-expression-head
Calls

285 calls:

Slowest
161.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
144.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)))
139.0ms
(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
118.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
83.0ms
(+ (* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
Rules
1158×times-frac
1028×*-un-lft-identity
1027×add-sqr-sqrt
977×add-cube-cbrt
672×add-exp-log
655×add-cbrt-cube
538×associate-/r/
534×associate-*r/
512×cbrt-div
456×pow1
430×associate-*l/
420×flip3-- flip--
401×flip-+ flip3-+
393×frac-times
382×add-log-exp
285×insert-posit16 div-inv
268×associate-*r*
219×associate-*l*
198×frac-add
197×associate-/l*
192×associate-/r*
142×cbrt-prod
122×prod-exp
120×cbrt-unprod
118×cbrt-undiv div-exp
100×associate-/l/
94×sqrt-prod
74×*-commutative
73×frac-sub
69×sub-neg
60×frac-2neg clear-num
55×sqrt-div
51×pow-prod-down
49×log-prod
43×+-commutative
39×distribute-rgt-in distribute-lft-in
34×pow1/3
31×distribute-lft-out--
27×pow-prod-up
26×log-pow log-div
25×sum-log exp-sum pow-plus
24×neg-mul-1
23×pow1/2 diff-log
22×associate-+l+ pow2
21×distribute-lft-out associate-+r+
20×div-sub
18×expm1-log1p-u rem-sqrt-square
16×difference-of-squares
15×log1p-expm1-u
11×exp-prod
10×rem-log-exp
9×distribute-neg-frac
7×associate--l- distribute-frac-neg distribute-lft-neg-out
6×distribute-lft1-in associate--l+ associate--r+ distribute-rgt-neg-in distribute-lft-neg-in
5×pow3 difference-of-sqr-1 rem-exp-log
4×neg-sub0 exp-diff rec-exp exp-to-pow associate-+l-
3×pow-flip log1p-expm1 inv-pow unpow-prod-down associate--r- log1p-udef
2×remove-posit16 distribute-rgt-out-- cube-unmult un-div-inv rem-cbrt-cube fma-udef
1×pow-exp unpow3 sqrt-unprod sub-div pow-to-exp pow-pow fma-def rem-square-sqrt cube-mult unsub-neg distribute-rgt-out distribute-rgt1-in

localize1.8s

bsearch1.2s

end1.0ms