Details

simplify27.6m

Calls

12988 calls:

Slowest
2.3s
(/ (* (* (* 2 2) 2) (* (* c c) c)) (* (* (* (- (* (/ c b) a) b) 2) (* (- (* (/ c b) a) b) 2)) (* (- (* (/ c b) a) b) 2)))
2.2s
(/ (* (* (* (- (+ n f)) (- (+ n f))) (* (- (+ n f)) (- (+ n f)))) (* (- (+ n f)) (- (+ n f)))) (/ (* (* (* (- f n) (- f n)) (* (- f n) (- f n))) (* (- f n) (- f n))) (/ (* (* (- (+ n f)) (- (+ n f))) (- (+ n f))) (* (* (- f n) (- f n)) (- f n)))))
2.0s
(/ (* (* (* (- (+ n f)) (- (+ n f))) (* (- (+ n f)) (- (+ n f)))) (* (- (+ n f)) (- (+ n f)))) (/ (* (* (* (- f n) (- f n)) (- f n)) (* (* (- f n) (- f n)) (- f n))) (/ (* (* (- (+ n f)) (- (+ n f))) (- (+ n f))) (* (* (- f n) (- f n)) (- f n)))))
1.9s
(/ (* (* (* (- (+ n f)) (- (+ n f))) (- (+ n f))) (* (* (- (+ n f)) (- (+ n f))) (- (+ n f)))) (/ (* (* (* (- f n) (- f n)) (* (- f n) (- f n))) (* (- f n) (- f n))) (/ (* (* (- (+ n f)) (- (+ n f))) (- (+ n f))) (* (* (- f n) (- f n)) (- f n)))))
1.9s
(/ (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos)))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))))

prune3.3m

sample2.6m

Algorithm
58×intervals
Results
50.4s256637×body80valid
33.5s204286×body80nan
29.0s20296×body1280valid
12.7s10638×body640valid
5.9s4205×body2560valid
4.3s5001×body320valid
2.3s16512×pre80true
1.2s2365×body160valid
83.0ms102×body5120valid

series1.1m

Calls

315 calls:

Slowest
4.1s
(fma (- (* (* (* y z) x) 18.0) (* a 4.0)) t (- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i))))
4.1s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* b c) (fma (* 27.0 k) j (* i (* 4.0 x)))))
4.0s
(fma (- (* (* (* y z) x) 18.0) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
4.0s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
1.1s
(fma j (- (* t c) (* y i)) (- (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)) (* (- (* z c) (* i a)) b)))

regimes17.3s

Accuracy

Total 24.7b remaining (20.2%)

4.4b-3.1%Linear.Matrix:det33 from linear-1.19.1.3
4.1b82.6%NMSE problem 3.2.1
3.2b0%fabs fraction 1
2.9b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.5b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

rewrite12.2s

Algorithm
97×rewrite-expression-head
Calls

319 calls:

Slowest
410.0ms
(- (/ 1 x) 1)
390.0ms
(* (sqrt (- x 1)) (sqrt x))
387.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
343.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
276.0ms
(/ (* (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
Rules
17845×times-frac
11502×*-un-lft-identity
11190×add-sqr-sqrt
10073×add-cube-cbrt
5052×prod-diff
2324×sqrt-prod
1549×add-exp-log
1160×add-cbrt-cube
947×div-inv
837×pow1
533×associate-*r*
514×distribute-rgt-neg-in
504×fma-neg
498×distribute-lft-neg-in
478×div-exp
470×add-log-exp
465×associate-*l*
463×cbrt-prod
423×distribute-lft-out
415×prod-exp
336×associate-/r*
326×associate-/l*
320×cbrt-unprod
319×expm1-log1p-u log1p-expm1-u insert-posit16
306×difference-of-squares
273×cbrt-undiv
269×distribute-lft-out--
230×pow-prod-down
163×flip3-- flip--
152×unswap-sqr
149×neg-mul-1
141×tan-quot
132×associate-/r/
124×frac-times
120×associate-*l/
117×associate-+r+
106×cbrt-div
102×associate-*r/
86×distribute-rgt-in distribute-lft-in
76×pow1/3
71×1-exp
70×*-commutative fma-def
66×sub-neg
63×swap-sqr
62×flip-+ flip3-+
57×diff-log
56×log-prod frac-2neg clear-num
52×rec-exp fma-udef
48×sqrt-div
46×frac-sub associate--r+
44×associate-/l/
40×associate-+l+
38×log-pow
34×distribute-neg-frac
33×sqrt-pow1 pow1/2
29×sum-log rem-sqrt-square frac-add
28×associate--l+
27×pow-prod-up pow-sqr
26×exp-diff
25×exp-sum
24×sin-mult
18×cos-mult
14×+-commutative
13×pow-plus sub-div div-sub
12×neg-sub0 associate--l-
10×log-div
9×pow-flip distribute-rgt-out-- pow2 neg-log inv-pow
8×exp-prod
7×associate-+l-
6×unpow-prod-down
5×difference-of-sqr-1 distribute-frac-neg
4×pow-unpow rem-exp-log expm1-def
3×associate-+r- pow-exp un-div-inv cos-2
2×remove-posit16 distribute-rgt-neg-out sqr-pow sqrt-unprod distribute-lft-neg-out pow-pow pow-to-exp tan-sum cos-sum rem-log-exp distribute-neg-in
1×unpow-prod-up sqr-sin sqr-neg e-exp-1

localize5.7s

bsearch1.7s

end1.0ms