Details

simplify34.5m

Calls

14547 calls:

Slowest
1.6s
(/ (* (* (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)))))
1.6s
(/ (* (* (/ 1 (/ (* x cos) (/ (cos (* 2 x)) sin))) (/ 1 (/ (* x cos) (/ (cos (* 2 x)) sin)))) (/ 1 (/ (* x cos) (/ (cos (* 2 x)) sin)))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos))))
1.6s
(/ (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos))))
1.6s
(/ (/ (* (* 1 1) 1) (/ (* (* (* x x) x) (* (* cos cos) cos)) (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* sin sin) sin)))) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos))))
1.6s
(/ (/ (* (* 1 1) 1) (/ (* (* (* x cos) (* x cos)) (* x cos)) (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* sin sin) sin)))) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos))))

prune3.6m

sample2.6m

Algorithm
59×intervals
Results
52.2s263825×body80valid
32.1s205049×body80nan
26.5s21438×body1280valid
11.4s11045×body640valid
6.8s5316×body2560valid
4.0s5100×body320valid
1.3s16512×pre80true
988.0ms2428×body160valid
270.0ms236×body5120valid

series50.4s

Calls

321 calls:

Slowest
1.0s
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
909.0ms
(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0))))) (/ 5.0 6.0)) (- b c))))
845.0ms
(fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))
823.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
759.0ms
(* (/ (- y z) (- (+ 1.0 t) z)) (- a x))

regimes16.1s

Accuracy

Total 27.4b remaining (17.7%)

4.6b83.2%NMSE problem 3.2.1
4.4b15.6%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.4b0%Linear.Matrix:det33 from linear-1.19.1.3
3.4b24%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite15.8s

Algorithm
99×rewrite-expression-head
Calls

325 calls:

Slowest
1.7s
(+ x (+ (- (/ (/ (+ (tan y) (tan z)) (cbrt (- 1 (* (tan z) (tan y))))) (* (cbrt (- 1 (* (tan z) (tan y)))) (cbrt (- 1 (* (tan z) (tan y)))))) (tan a)) 0))
1.2s
(+ x (+ (- (/ (/ (+ (tan y) (tan z)) (cbrt (- 1 (* (tan z) (tan y))))) (* (cbrt (- 1 (/ (* (sin z) (tan y)) (cos z)))) (cbrt (- 1 (* (tan z) (tan y)))))) (tan a)) 0))
935.0ms
(* (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) t)
452.0ms
(- (* z c) (* i a))
376.0ms
(* (* (* (cbrt (- (* z c) (* i a))) (cbrt (- (* z c) (* i a)))) (cbrt (- (* z c) (* i a)))) b)
Rules
8592×times-frac
7177×*-un-lft-identity
6672×add-sqr-sqrt
5693×add-cube-cbrt
2749×prod-diff
1920×add-exp-log
1377×add-cbrt-cube
1124×pow1
994×sqrt-prod
638×prod-exp
565×div-inv
545×div-exp
533×associate-*r*
472×add-log-exp
468×distribute-lft-out
452×cbrt-unprod
444×associate-*l*
425×fma-neg
421×distribute-rgt-neg-in
393×distribute-lft-neg-in
360×associate-/l*
357×associate-/r*
347×pow-prod-down
325×expm1-log1p-u log1p-expm1-u insert-posit16
297×cbrt-undiv
289×difference-of-squares
276×distribute-lft-out--
219×cbrt-prod
172×flip3-- flip--
142×associate-/r/
131×unswap-sqr
129×neg-mul-1 associate-*l/
126×cbrt-div
110×swap-sqr
104×1-exp
102×frac-times rec-exp
97×associate-*r/
92×pow-prod-up
90×distribute-rgt-in distribute-lft-in
86×*-commutative
85×associate-+r+
76×pow1/3
73×frac-2neg clear-num
63×sub-neg
62×log-prod
59×associate-/l/
58×associate-+l+
56×log-pow
54×diff-log
51×fma-def
50×pow-sqr
49×sqrt-pow1
47×tan-quot flip-+ flip3-+
40×pow-flip inv-pow
38×pow-plus
36×frac-sub
32×rem-sqrt-square
31×pow1/2
30×fma-udef
29×sum-log
26×pow-unpow sin-mult
25×exp-sum
23×pow2 frac-add
22×associate--r+
20×cos-mult sqrt-div div-sub
15×unpow-prod-down exp-prod
14×exp-diff
13×sub-div un-div-inv
12×+-commutative
11×associate-+l-
10×log-div
8×neg-sub0 associate--l- distribute-neg-frac rem-exp-log
7×difference-of-sqr-1 pow-pow
6×neg-log cos-2
5×pow-exp associate--l+ sqr-pow pow-to-exp
4×associate-+r- pow3 expm1-def
3×distribute-rgt-out-- distribute-rgt-out
2×tan-sum exp-to-pow cos-sum distribute-frac-neg rem-cbrt-cube rem-log-exp
1×remove-posit16 sqrt-unprod unpow2 unpow1/3

localize5.9s

bsearch1.9s

end1.0ms