Details

simplify26.9m

Calls

11977 calls:

Slowest
1.7s
(/ (* (* (* (- 0 (* a (* c -4))) -1/2) (* (- 0 (* a (* c -4))) -1/2)) (* (- 0 (* a (* c -4))) -1/2)) (* (* (* (- b (sqrt (fma a (* c -4) (* b b)))) a) (* (- b (sqrt (fma a (* c -4) (* b b)))) a)) (* (- b (sqrt (fma a (* c -4) (* b b)))) a)))
1.7s
(/ (/ (cbrt 1) (+ b a)) (/ a (+ b a)))
1.3s
(/ (/ 1 (+ b a)) (/ a (+ b a)))
1.3s
(/ (/ (cbrt 1) (+ b a)) (/ a (+ b a)))
1.2s
(/ (/ (sqrt 1) (+ b a)) (/ a (+ b a)))

prune2.4m

sample1.3m

Algorithm
60×intervals
Results
32.7s235179×body80valid
10.1s11007×body1280valid
7.9s16488×body160valid
6.4s2710×body2560valid
4.8s7784×body640valid
4.0s75618×pre80true
2.2s6115×body320valid
900.0ms8378×body80nan
239.0ms130×body5120valid
128.0ms67×body10240exit

series23.6s

Calls

258 calls:

Slowest
495.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)))
492.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (* (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- 3)) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))
437.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))
431.0ms
(/ (fma 100 (pow (+ 1 (/ i n)) n) -100) (/ i n))
427.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))

rewrite20.1s

Algorithm
90×rewrite-expression-head
Calls

258 calls:

Slowest
1.3s
(+ (+ (* 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)))
1.0s
(exp (log (exp (+ (+ (+ b d) e) (+ c a)))))
947.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)))
930.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)))
903.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)))
Rules
35953×times-frac
25461×*-un-lft-identity
22869×add-sqr-sqrt
20052×add-cube-cbrt
13588×prod-diff
11923×sqrt-prod
6947×exp-sum
3697×distribute-rgt-in distribute-lft-in
1977×associate--r+
1817×distribute-lft-out
1663×difference-of-squares
1270×div-inv
1193×associate-/r/
1097×add-exp-log
998×add-cbrt-cube
945×distribute-lft-out--
837×pow1
685×sub-neg
640×associate-/r*
625×add-log-exp
461×flip-+ flip3-+
459×associate-/l*
440×associate-*l*
366×associate-*r*
334×flip3-- flip--
304×prod-exp
288×cbrt-unprod
273×fma-neg
270×pow-prod-down
258×expm1-log1p-u insert-posit16 log1p-expm1-u
244×div-exp
208×cbrt-undiv
196×sum-log
147×associate-+l+
137×swap-sqr
123×frac-times
112×associate-*r/
101×fma-def
88×cbrt-div
82×exp-prod
80×distribute-rgt-neg-in unswap-sqr
79×associate-*l/
71×cbrt-prod
70×frac-2neg clear-num
67×distribute-lft-neg-in
55×*-commutative
48×pow-prod-up
47×associate-/l/
46×fma-udef
41×sqrt-div
38×pow-sqr
36×diff-log
34×sqr-pow log-pow
32×+-commutative
30×sqrt-pow1
29×pow1/2 unpow-prod-down
25×pow-plus
24×div-sub
23×associate-+r+
22×neg-mul-1
21×rem-exp-log
20×frac-add
19×rem-sqrt-square
17×pow1/3
15×pow2
14×1-exp rec-exp
13×cube-prod
11×log-prod
9×associate--l+
8×distribute-lft1-in pow-exp
7×distribute-lft-neg-out
6×distribute-frac-neg pow-unpow pow-to-exp hypot-def
5×expm1-udef frac-sub
4×difference-cubes distribute-rgt-out-- pow-flip associate--l- pow-pow inv-pow distribute-neg-frac
3×neg-sub0 sqrt-undiv rem-cube-cbrt sqrt-unprod
2×exp-diff pow3 unpow3 neg-log rem-log-exp cube-mult
1×associate-+r- cube-unmult sub0-neg sub-div un-div-inv rem-square-sqrt rem-cbrt-cube unsub-neg associate--r- log-div

regimes5.7s

Accuracy

Total 33.4b remaining (27.7%)

9.5b64.3%Compound Interest
6.9b33.7%Complex division, real part
6.9b31.9%Complex division, imag part
4.5b78.4%Kahan p9 Example
1.9b0%Expression, p6

localize3.5s

bsearch1.2s

end1.0ms