Details

simplify24.2m

Calls

11906 calls:

Slowest
1.5s
(/ (* (* (* a c) (* a c)) (* a c)) (* (* (* a (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) (* a (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))))) (* a (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))))))
1.5s
(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos)) (* (* (* (* x sin) cos) (* (* x sin) cos)) (* (* x sin) cos))))
1.4s
(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos)) (* (* (* (* x x) x) (* (* sin sin) sin)) (* (* cos cos) cos))))
1.4s
(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos)))))
1.4s
(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos)))))

prune3.0m

sample2.5m

Algorithm
58×intervals
Results
49.0s257300×body80valid
34.0s204260×body80nan
28.2s20289×body1280valid
12.8s10658×body640valid
5.8s4174×body2560valid
3.6s4930×body320valid
1.6s2492×body160valid
1.4s16512×pre80true
154.0ms117×body5120valid

series1.1m

Calls

320 calls:

Slowest
4.4s
(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 (fma c b (- (fma k (* 27.0 j) (* (* x 4.0) i)))))
3.9s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
1.0s
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
993.0ms
(fma j (- (* t c) (* y i)) (- (* (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))) x) (* (- (* z c) (* i a)) b)))

regimes15.5s

Accuracy

Total 24.2b remaining (20.9%)

4.6b0%Linear.Matrix:det33 from linear-1.19.1.3
3.6b0%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.8b-9%fabs fraction 1
1.7b15.8%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite9.7s

Algorithm
98×rewrite-expression-head
Calls

324 calls:

Slowest
814.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
402.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
185.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
178.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
172.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
Rules
16262×times-frac
11628×*-un-lft-identity
10985×add-sqr-sqrt
9492×add-cube-cbrt
5054×prod-diff
1605×sqrt-prod
1238×add-exp-log
1062×pow1
1035×add-cbrt-cube
831×div-inv
722×distribute-lft-out--
603×difference-of-squares
518×add-log-exp
434×distribute-lft-out
414×associate-*l*
399×distribute-rgt-neg-in
387×distribute-lft-neg-in
374×prod-exp
346×pow-prod-down
344×associate-*r*
337×cbrt-unprod
327×expm1-log1p-u
326×associate-/r* log1p-expm1-u
324×insert-posit16
309×fma-neg
249×associate-/l*
239×div-exp fma-def
236×cbrt-prod
168×associate-/r/
164×flip3-- flip--
159×cbrt-undiv
133×tan-quot
128×distribute-rgt-in distribute-lft-in
125×neg-mul-1
120×associate-+r+
112×exp-sum
106×associate--r+
104×frac-times
99×associate-*r/
98×unswap-sqr
92×associate-*l/
74×*-commutative
72×pow1/3
71×sub-neg diff-log
57×exp-prod
53×cbrt-div
52×frac-2neg clear-num fma-udef
45×frac-sub 1-exp rec-exp pow-prod-up pow-sqr
44×log-pow
39×flip-+ flip3-+
34×sqrt-div
33×associate-/l/
32×rem-exp-log
31×log-prod
30×sum-log sin-mult
29×associate-+l+
28×swap-sqr
26×sqrt-pow1 pow1/2
24×cos-mult rem-sqrt-square
22×exp-diff
19×pow-plus
17×div-sub
16×associate--l+
14×sub-div unpow-prod-down
13×pow-flip
12×unpow-prod-up neg-sub0 +-commutative
11×inv-pow
10×pow2
9×associate--l- pow-unpow neg-log
8×associate-+l-
7×distribute-rgt-out--
6×sqr-pow un-div-inv
5×pow-exp frac-add
4×log1p-expm1 log1p-udef difference-of-sqr-1 pow-to-exp distribute-neg-frac expm1-def log-div
3×expm1-log1p expm1-udef associate-+r- pow-pow distribute-frac-neg
2×difference-of-sqr--1 cos-sum tan-sum unpow1/3 cos-2
1×distribute-lft-neg-out sqrt-unprod exp-to-pow remove-posit16 associate--r- e-exp-1 pow-sub

localize5.4s

bsearch1.0s

end1.0ms