Details

simplify28.0m

Calls

12405 calls:

Slowest
1.4s
(* (/ (* (* (fma v -2 3) (fma v -2 3)) (fma v -2 3)) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* 0.125 0.125) 0.125))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r))))
1.3s
(* (* (* (fma a (* a a) (* b (* b b))) (fma a (* a a) (* b (* b b)))) (fma a (* a a) (* b (* b b)))) (* (* (* a a) (* a a)) (* a a)))
1.2s
(* (/ (* (* (fma v -2 3) (fma v -2 3)) (fma v -2 3)) (* (* (/ (- 1 v) 0.125) (/ (- 1 v) 0.125)) (/ (- 1 v) 0.125))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r))))
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
(* (* (* (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- 3)) (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- 3))) (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (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)))))

prune2.7m

sample1.4m

Algorithm
63×intervals
Results
36.6s263593×body80valid
10.5s12561×body1280valid
8.3s16733×body160valid
5.0s75684×pre80true
4.8s9048×body640valid
3.6s2787×body2560valid
3.0s6849×body320valid
2.8s1999×body10240exit
1.6s16287×body80nan
427.0ms135×body5120valid

series26.6s

Calls

275 calls:

Slowest
532.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)))))
482.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (+ (* (* x1 x1) (fma 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (* (cbrt 6) (* (cbrt 6) (cbrt 6)))))) 0))
465.0ms
(/ (fma 100 (pow (+ 1 (/ i n)) n) -100) (/ i n))
443.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)))))
436.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)))

rewrite21.9s

Algorithm
94×rewrite-expression-head
Calls

275 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)))))))
914.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)))
913.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)))
899.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
16973×times-frac
13043×*-un-lft-identity
12689×add-sqr-sqrt
11391×add-cube-cbrt
9006×prod-diff
3485×exp-sum
1981×associate--r+
1978×sqrt-prod
1897×distribute-rgt-in distribute-lft-in
1243×add-exp-log
1111×add-cbrt-cube
981×pow1
770×div-inv
638×add-log-exp
541×associate-*l*
510×difference-of-squares
475×distribute-lft-out
418×associate-/r*
414×associate-*r*
398×prod-exp
385×distribute-lft-out--
360×sub-neg
346×cbrt-unprod
341×associate-/l*
324×pow-prod-down
278×expm1-log1p-u
276×log1p-expm1-u
275×insert-posit16
274×associate-+l+ div-exp
239×fma-neg
210×cbrt-undiv
207×flip-+ flip3-+
196×distribute-rgt-neg-in
191×associate-/r/
178×sum-log
133×distribute-lft-neg-in
121×unswap-sqr
106×frac-times fma-def
102×associate-*r/
94×sqrt-pow1
93×flip3-- flip--
83×pow-prod-up
75×associate-*l/
68×exp-prod
65×*-commutative
59×frac-2neg cbrt-div clear-num
50×fma-udef
49×diff-log
48×associate-/l/
44×neg-mul-1
42×pow1/2
41×pow-sqr
38×cbrt-prod
34×pow-plus
33×+-commutative swap-sqr
32×1-exp
29×rem-sqrt-square
28×rec-exp unpow-prod-down
27×frac-add
24×log-pow
22×associate-+r+
20×div-sub
18×pow2
16×pow-flip frac-sub pow1/3
14×rem-exp-log hypot-def
11×sqr-pow
9×log-prod sqrt-div
7×pow-exp distribute-frac-neg distribute-lft-neg-out pow-to-exp
6×neg-sub0 associate--l-
5×associate--l+ pow3 inv-pow
4×cube-unmult log1p-expm1 neg-log distribute-neg-frac distribute-rgt-out-- log1p-udef
3×expm1-udef pow-unpow un-div-inv rem-cbrt-cube
2×expm1-log1p
1×distribute-lft1-in remove-posit16 associate-+r- sqrt-undiv sqrt-unprod sub-div hypot-1-def pow-pow rem-log-exp rem-square-sqrt unsub-neg associate--r- distribute-rgt-out

regimes5.7s

Accuracy

Total 39.1b remaining (23.7%)

11.2b53.1%Compound Interest
7.1b1.6%Complex division, real part
7.0b0.9%Complex division, imag part
4.6b76.6%Kahan p9 Example
4.1b85.4%The quadratic formula (r2)

localize3.3s

bsearch1.6s

end1.0ms