Details

simplify37.7m

Calls

15673 calls:

Slowest
2.2s
(* (/ (* (* 1 1) 1) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos)))) (/ (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* sin sin) sin)) (* (* (* x x) x) (* (* cos cos) cos))))
2.1s
(* (/ (* (* 1 1) 1) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos)))) (/ (* (* (/ (cos (* 2 x)) sin) (/ (cos (* 2 x)) sin)) (/ (cos (* 2 x)) sin)) (* (* (* x x) x) (* (* cos cos) cos))))
2.1s
(* (/ (* (* 1 1) 1) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))) (/ (* (* (/ (cos (* 2 x)) sin) (/ (cos (* 2 x)) sin)) (/ (cos (* 2 x)) sin)) (* (* (* x cos) (* x cos)) (* x cos))))
2.0s
(* (/ (* (* 1 1) 1) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))) (/ (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* sin sin) sin)) (* (* (* x x) x) (* (* cos cos) cos))))
2.0s
(* (/ (* (* 1 1) 1) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos)))) (/ (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* sin sin) sin)) (* (* (* x cos) (* x cos)) (* x cos))))

prune3.8m

sample2.6m

Algorithm
59×intervals
Results
51.2s263473×body80valid
34.4s208909×body80nan
28.8s21354×body1280valid
11.5s10689×body640valid
7.2s5400×body2560valid
3.3s5129×body320valid
1.2s16512×pre80true
1.0s2551×body160valid
265.0ms243×body5120valid

series58.3s

Calls

331 calls:

Slowest
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 j) 27.0 (* (* 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)))
1.0s
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
756.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))

regimes16.8s

Accuracy

Total 31.7b remaining (25.7%)

5.6b19.1%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
5.0b-6.8%Linear.Matrix:det33 from linear-1.19.1.3
4.7b17.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.0b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
1.9b19.8%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite13.5s

Algorithm
101×rewrite-expression-head
Calls

335 calls:

Slowest
852.0ms
(* (* (- x) (/ 1 (* (cbrt (- (+ 1.0 t) z)) (cbrt (- (+ 1.0 t) z))))) (/ (- y z) (cbrt (- (+ 1.0 t) z))))
781.0ms
(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))
735.0ms
(+ (* (* (- x) (/ 1 (* (cbrt (- (+ 1.0 t) z)) (cbrt (- (+ 1.0 t) z))))) (/ (- y z) (cbrt (- (+ 1.0 t) z)))) x)
407.0ms
(sqrt (- (* b_2 b_2) (* a c)))
266.0ms
(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))
Rules
9173×times-frac
8209×*-un-lft-identity
7212×add-sqr-sqrt
6187×add-cube-cbrt
3260×prod-diff
1831×add-exp-log
1346×add-cbrt-cube
1078×pow1
1039×sqrt-prod
668×distribute-lft-out
636×prod-exp
597×div-inv
539×fma-neg
505×add-log-exp
494×associate-*r*
455×div-exp
436×cbrt-unprod
419×associate-/r*
402×distribute-rgt-neg-in
378×distribute-lft-neg-in
374×difference-of-squares
363×distribute-lft-out--
353×pow-prod-down
349×associate-/l*
334×expm1-log1p-u cbrt-prod associate-*l*
333×log1p-expm1-u insert-posit16
284×cbrt-undiv
255×associate-/r/
194×flip3-- flip--
193×associate-+r+
124×neg-mul-1
123×sqrt-pow1
120×log-prod
111×fma-def
101×flip-+ flip3-+
95×log-pow unswap-sqr associate-*l/
92×sqrt-div
83×distribute-rgt-in distribute-lft-in
78×frac-2neg clear-num
77×associate-+l+
76×1-exp rec-exp *-commutative
71×pow1/2
68×associate-*r/
67×pow1/3
62×sub-neg
58×diff-log
49×frac-times frac-sub associate--r+ associate-/l/
47×pow-prod-up
42×fma-udef exp-prod
40×sum-log
39×pow-sqr
38×tan-quot
36×swap-sqr
32×exp-sum
30×frac-add
27×rem-sqrt-square
26×cbrt-div
22×difference-of-sqr-1 associate-+l-
19×pow-flip +-commutative
18×associate--l+ log-div
16×neg-sub0
15×exp-diff distribute-rgt-out--
14×inv-pow
13×neg-log div-sub sin-mult
12×pow-plus
11×associate--l-
10×cos-mult rem-exp-log
8×pow2 sub-div
6×sqrt-unprod un-div-inv
5×associate-+r-
4×rem-log-exp expm1-def
3×distribute-lft-neg-out cos-2 unpow-prod-down
2×distribute-frac-neg cos-sum tan-sum exp-to-pow distribute-neg-frac rem-square-sqrt remove-posit16
1×expm1-log1p expm1-udef pow-unpow distribute-rgt-neg-out log1p-expm1 pow-exp pow3 sqr-pow pow-pow pow-to-exp log1p-udef

localize5.3s

bsearch2.3s

end1.0ms