Details

simplify52.9m

Calls

19622 calls:

Slowest
1.9s
(* (* (/ (* (* (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1))) (* (* (* 2 x1) (* 2 x1)) (* 2 x1))) (* (* (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)))
1.6s
(/ (/ (/ (* (* (* (* a a) a) (* (* 4 4) 4)) (* (* c c) c)) (* (* (- (sqrt (fma a (* c -4) (* b b))) b) (- (sqrt (fma a (* c -4) (* b b))) b)) (- (sqrt (fma a (* c -4) (* b b))) b))) (* (* 2 2) 2)) (* (* a a) a))
1.4s
(* (* (/ 1 (/ (* (+ b a) 2) (- (/ PI a) (/ PI b)))) (/ 1 (/ (* (+ b a) 2) (- (/ PI a) (/ PI b))))) (/ 1 (/ (* (+ b a) 2) (- (/ PI a) (/ PI b)))))
1.3s
(/ (/ (/ (* (* (* (* a 4) (* a 4)) (* a 4)) (* (* c c) c)) (* (* (- (sqrt (fma a (* c -4) (* b b))) b) (- (sqrt (fma a (* c -4) (* b b))) b)) (- (sqrt (fma a (* c -4) (* b b))) b))) (* (* 2 2) 2)) (* (* a a) a))
1.3s
(* (* (* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1))) (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1))) (* (* (* 2 x1) (* 2 x1)) (* 2 x1))) (* (* (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)))

prune3.1m

sample1.4m

Algorithm
63×intervals
Results
36.2s259839×body80valid
9.3s12033×body1280valid
8.4s16575×body160valid
5.4s3812×body2560valid
4.6s8283×body640valid
4.3s75662×pre80true
2.4s6058×body320valid
2.0s19413×body80nan
282.0ms234×body5120valid
117.0ms61×body10240exit

series27.4s

Calls

278 calls:

Slowest
737.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))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
618.0ms
(* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
616.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)))))
465.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)))
461.0ms
(/ (fma 100 (exp (* n (log1p (/ i n)))) -100) (/ i n))

rewrite13.3s

Algorithm
92×rewrite-expression-head
Calls

278 calls:

Slowest
1.2s
(+ (+ (+ (* 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)))
964.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)))
589.0ms
(+ (/ (* 1 (fma (* 5.5 5.5) -2072087668778481942361612104703059945972513386907210959776023202964176896 (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (- (+ (* 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)))
519.0ms
(cbrt (* (* (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d))) (+ a (+ (+ b c) d))))
505.0ms
(+ (+ (+ (+ e d) c) b) a)
Rules
13686×times-frac
12744×*-un-lft-identity
12048×add-sqr-sqrt
11603×prod-diff
10641×add-cube-cbrt
6505×exp-sum
2931×distribute-rgt-in distribute-lft-in
1977×associate--r+
1382×add-exp-log
1235×add-cbrt-cube
1147×pow1
839×div-inv
772×sub-neg
714×distribute-lft-out
583×sqrt-prod
578×difference-of-squares
536×add-log-exp
492×associate-/r*
459×associate-/l*
445×prod-exp
434×distribute-lft-out--
433×pow-prod-down
431×associate-*l*
401×cbrt-unprod
350×associate-*r*
338×div-exp
336×associate-/r/
280×expm1-log1p-u
279×log1p-expm1-u
278×insert-posit16
246×fma-neg
237×cbrt-undiv
234×flip-+ flip3-+
173×sqrt-pow1
145×fma-def
113×unpow-prod-down
111×sum-log pow-prod-up
109×flip3-- flip--
106×associate-*l/
91×frac-times
89×distribute-rgt-neg-in
87×unswap-sqr
84×exp-prod
82×associate-*r/
77×pow1/2
75×distribute-lft-neg-in
72×frac-2neg clear-num
71×*-commutative
61×associate-/l/
55×pow-sqr
48×sqr-pow
47×1-exp sqrt-div rec-exp
44×diff-log
40×pow-plus
39×swap-sqr
36×fma-udef
31×rem-sqrt-square
28×pow-flip
26×cbrt-div +-commutative
25×neg-mul-1
23×log-prod
22×log-pow
19×frac-sub pow2
18×div-sub
16×associate--l+
13×inv-pow
11×pow-exp pow-to-exp
10×sqrt-unprod
9×rem-exp-log frac-add
8×associate-+l+ hypot-def
7×distribute-lft-neg-out associate-+r+
5×pow3
4×neg-sub0 expm1-udef distribute-frac-neg associate--l- rem-square-sqrt
3×expm1-log1p pow-unpow log1p-expm1 neg-log log1p-udef
2×exp-diff cbrt-prod rem-log-exp log-div
1×associate-+r- sqrt-undiv pow1/3 sub-div pow-pow un-div-inv remove-double-div distribute-rgt-out-- rem-cbrt-cube unsub-neg associate--r- distribute-rgt-out

localize3.9s

regimes3.8s

Accuracy

Total 32.2b remaining (25.6%)

Threshold costs 2.9b (2.3%)

14.0b45.7%Compound Interest
7.2b33.7%Complex division, real part
6.8b37.6%Complex division, imag part
1.2b0%Rosa's DopplerBench
0.9b96.1%The quadratic formula (r1)

bsearch1.8s

end1.0ms