Details

simplify29.4m

Calls

16742 calls:

Slowest
3.3s
(/ (* (/ (* (* 1 1) 1) (* (* sin sin) sin)) (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* x cos) (* x cos)) (* x cos)))) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos))))
3.1s
(/ (* (* (* (/ 1 sin) (/ (cos (* 2 x)) (* x cos))) (* (/ 1 sin) (/ (cos (* 2 x)) (* x cos)))) (* (/ 1 sin) (/ (cos (* 2 x)) (* x cos)))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos))))
3.0s
(/ (* (/ (* (* 1 1) 1) (* (* sin sin) sin)) (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* x x) x) (* (* cos cos) cos)))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))))
2.8s
(/ (* (* (* (/ 1 sin) (/ 1 sin)) (/ 1 sin)) (* (* (/ (cos (* 2 x)) (* x cos)) (/ (cos (* 2 x)) (* x cos))) (/ (cos (* 2 x)) (* x cos)))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos))))
2.7s
(/ (* (* (* (/ 1 sin) (/ 1 sin)) (/ 1 sin)) (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* x x) x) (* (* cos cos) cos)))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))))

prune3.9m

sample2.7m

Algorithm
59×intervals
Results
50.5s263896×body80valid
35.7s208581×body80nan
29.4s21396×body1280valid
13.2s10833×body640valid
7.3s5445×body2560valid
3.5s4995×body320valid
1.3s16512×pre80true
1.1s2502×body160valid
173.0ms231×body5120valid

series55.4s

Calls

341 calls:

Slowest
1.1s
(fma j (- (* t c) (* y i)) (- (* (fma z y (- (* t a))) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
920.0ms
(fma j (- (* t c) (* y i)) (- (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)) (* (- (* z c) (* i a)) b)))
887.0ms
(fma j (- (* t c) (* y i)) (- (* (fma z y (- (* t a))) x) (* (- (* z c) (* i a)) b)))
774.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
721.0ms
(cbrt (fma -4 (* c a) (* b b)))

regimes17.6s

Accuracy

Total 26.7b remaining (19.8%)

5.5b-28.2%Linear.Matrix:det33 from linear-1.19.1.3
3.2b87.5%NMSE problem 3.2.1
3.1b38.7%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.9b46.2%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.3b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite14.1s

Algorithm
101×rewrite-expression-head
Calls

345 calls:

Slowest
911.0ms
(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
544.0ms
(- (/ (fma (sin z) (cos y) (* (cos z) (sin y))) (* (- 1 (* (tan y) (tan z))) (* (cos y) (cos z)))) (tan a))
477.0ms
(* (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ 1 (* 2 a)))
466.0ms
(+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c))
324.0ms
(+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c))
Rules
10132×times-frac
8127×*-un-lft-identity
7407×add-sqr-sqrt
6049×add-cube-cbrt
2393×add-exp-log
2079×sqrt-prod
2069×prod-diff
1516×add-cbrt-cube
1154×pow1
1003×cbrt-prod
896×prod-exp
892×distribute-rgt-neg-in
860×distribute-lft-neg-in
688×div-exp
604×distribute-lft-out
545×fma-neg
527×distribute-lft-out--
512×cbrt-unprod
511×associate-*r*
503×add-log-exp
495×difference-of-squares
492×div-inv
465×associate-/l*
428×associate-/r*
382×associate-*l*
346×log1p-expm1-u
345×expm1-log1p-u insert-posit16
330×cbrt-undiv
308×pow-prod-down
263×neg-mul-1
179×associate-/r/
176×flip-- flip3--
145×unswap-sqr
139×log-pow
131×1-exp
126×associate-*r/
123×rec-exp
108×associate-+l+
107×distribute-rgt-in distribute-lft-in
103×associate-*l/
95×*-commutative
93×pow1/3
87×associate-+r+
84×frac-times
83×pow-prod-up
80×swap-sqr
78×fma-def
76×log-prod
73×exp-prod
71×frac-2neg clear-num
70×sub-neg
66×associate--r+
64×frac-sub
63×associate-/l/
61×fma-udef
60×diff-log
59×exp-sum
57×flip-+ flip3-+ pow-sqr
54×sqrt-pow1 sqrt-div
40×tan-quot
37×cbrt-div frac-add
36×pow-plus pow1/2
33×sum-log
30×cos-mult
26×exp-diff
25×pow2
24×rem-sqrt-square
20×sin-mult
19×div-sub
18×associate-+l-
15×neg-sub0
14×pow-flip associate--l+ inv-pow log-div
12×+-commutative rem-exp-log
11×sub-div associate--l-
9×neg-log
8×difference-of-sqr-1 un-div-inv
6×distribute-frac-neg unpow-prod-down
4×associate-+r- pow-unpow distribute-neg-frac expm1-def cos-2
3×remove-posit16
2×expm1-log1p expm1-udef pow-exp pow3 sqr-pow sqrt-unprod pow-pow pow-to-exp tan-sum cos-sum
1×log1p-expm1 log1p-udef unpow2 rem-square-sqrt rem-cbrt-cube rem-log-exp

localize6.1s

bsearch2.9s

end1.0ms