Details

simplify25.8m

Calls

11914 calls:

Slowest
1.4s
(/ (* (* (* (- t1) v) (* (- t1) v)) (* (- t1) v)) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
1.1s
(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (* (* (* (* x1 2) (* x1 2)) (* x1 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
1.1s
(cbrt (* (* (+ a (+ (+ b c) d)) (+ (pow a 3) (pow (+ (+ b c) d) 3))) (+ (pow (+ a (+ b c)) 3) (pow d 3))))
1.1s
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
1.1s
(cbrt (* (* (+ (pow a 3) (pow (+ (+ b c) d) 3)) (- (* a a) (* (+ (+ b c) d) (+ (+ b c) d)))) (+ (pow (+ a (+ b c)) 3) (pow d 3))))

series6.4m

Calls

266 calls:

Slowest
3.4m
(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) (* (fma 1 (fma x2 2 (* (* 3 x1) x1)) (- (* (cbrt x1) (* (cbrt x1) (cbrt x1))))) (* x1 2))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1)))) (* x1 2)))) (fma x1 x1 1)))
2.5m
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (+ (* (fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- 3)) (* (fma 1 (fma x2 2 (* (* 3 x1) x1)) (- (* (cbrt x1) (* (cbrt x1) (cbrt x1))))) (* x1 2))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1)))) (* x1 2)))) (fma x1 x1 1)))
1.0s
(fma (- (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))))
996.0ms
(fma (- (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* (cbrt (* (* w r) (* w r))) (cbrt (* (* w r) (* w r)))) (cbrt (* (* w r) (* w r)))) 4.5))))
985.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)))))

prune2.7m

sample1.4m

Algorithm
63×intervals
Results
34.2s263747×body80valid
11.4s12978×body1280valid
9.2s16937×body160valid
5.3s8918×body640valid
4.5s2813×body2560valid
4.0s75686×pre80true
3.2s1982×body10240exit
2.2s6559×body320valid
2.1s16460×body80nan
180.0ms126×body5120valid

rewrite18.6s

Algorithm
91×rewrite-expression-head
Calls

266 calls:

Slowest
1.5s
(exp (log (exp (+ e (+ d (+ b (+ a c)))))))
1.2s
(exp (log (* (exp e) (* (exp d) (* (exp b) (* (exp a) (exp c)))))))
995.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)))
986.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)))
946.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
15961×times-frac
12611×*-un-lft-identity
11864×add-sqr-sqrt
11100×add-cube-cbrt
9186×prod-diff
3405×exp-sum
1979×associate--r+
1856×sqrt-prod
1796×distribute-rgt-in distribute-lft-in
900×add-exp-log
878×pow1
839×add-cbrt-cube
762×div-inv
626×add-log-exp
561×distribute-lft-out
368×associate-/l*
362×sub-neg
320×difference-of-squares
307×associate-*r*
297×associate-*l*
293×associate-/r*
277×fma-neg
269×expm1-log1p-u
266×log1p-expm1-u insert-posit16
248×distribute-lft-out--
247×prod-exp
217×pow-prod-down cbrt-unprod flip-+ flip3-+
205×associate-/r/
172×div-exp
168×sum-log
151×distribute-rgt-neg-in
140×cbrt-undiv
124×distribute-lft-neg-in
114×pow-prod-up
104×fma-def
100×frac-times
88×flip3-- flip--
69×exp-prod
67×unswap-sqr
65×associate-*r/
64×associate-*l/
59×cbrt-div
57×pow-plus
56×frac-2neg clear-num
54×*-commutative
53×pow-sqr
52×diff-log
46×sqrt-div
45×fma-udef
41×neg-mul-1
38×associate-/l/
37×unpow-prod-down
36×+-commutative
33×pow2
31×swap-sqr
29×sqrt-pow1
28×pow1/2
24×log-pow
20×rem-sqrt-square
19×div-sub
18×associate-+l+ 1-exp rec-exp
16×pow-flip
15×sqr-pow
14×associate-+r+ rem-exp-log
11×pow-exp
10×pow-to-exp hypot-def
9×cube-prod log-prod pow-unpow
8×frac-sub associate--l+ associate--l- distribute-lft-neg-out pow-pow
7×pow3 distribute-frac-neg pow1/3 cbrt-prod frac-add
6×distribute-rgt-out-- neg-sub0
5×inv-pow
4×cube-unmult neg-log distribute-neg-frac
3×rem-cube-cbrt log1p-expm1 unpow3 un-div-inv hypot-udef cube-mult rem-cbrt-cube distribute-rgt-out log1p-udef
2×remove-posit16 associate-+r- cube-div
1×distribute-lft1-in sqrt-unprod sub-div rem-log-exp rem-square-sqrt unsub-neg associate--r-

regimes5.7s

Accuracy

Total 33.0b remaining (22.7%)

11.4b52.8%Compound Interest
9.8b29.5%Complex division, real part
4.5b84.1%The quadratic formula (r2)
2.6b0%Complex division, imag part
2.0b0%Expression, p6

localize3.7s

bsearch1.1s

end1.0ms