Details

simplify23.0m

Calls

13173 calls:

Slowest
3.3s
(/ (* (* (* (/ 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.2s
(/ (* (* (* (- (* a (/ c b)) b) (- (* a (/ c b)) b)) (- (* a (/ c b)) b)) (* (* 2 2) 2)) (* (* (* 2 a) (* 2 a)) (* 2 a)))
3.2s
(/ (* (* (* (/ 1 sin) (/ 1 sin)) (/ 1 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 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.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))))

prune3.7m

sample3.6m

Algorithm
60×intervals
Results
1.8m336795×body80valid
33.9s208581×body80nan
28.0s21396×body1280valid
12.7s10833×body640valid
6.4s5445×body2560valid
3.5s4995×body320valid
1.1s2502×body160valid
1.0s16512×pre80true
192.0ms231×body5120valid

series51.0s

Calls

360 calls:

Slowest
644.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
537.0ms
(- (log (exp (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))))) (tan a))
514.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
510.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
482.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)))) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

regimes30.6s

Accuracy

Total 35.4b remaining (23.5%)

10.9b-25.4%Linear.Matrix:det44 from linear-1.19.1.3
4.0b14.8%Linear.Matrix:det33 from linear-1.19.1.3
3.3b36.9%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
3.1b33.9%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.9b46.2%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite18.3s

Algorithm
104×rewrite-expression-head
Calls

360 calls:

Slowest
1.5s
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)))) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
557.0ms
(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
557.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
315.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)
289.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
Rules
6045×times-frac
5641×*-un-lft-identity
5119×add-sqr-sqrt
3529×add-cube-cbrt
2828×add-exp-log
1661×add-cbrt-cube
1435×sqrt-prod
1102×prod-exp
1093×pow1
831×div-exp
670×distribute-rgt-neg-in
653×associate-*l*
644×distribute-lft-neg-in
642×distribute-lft-out--
620×difference-of-squares
618×associate-*r*
590×cbrt-unprod
573×cbrt-div
569×add-log-exp
471×associate-/r*
451×frac-times
439×cbrt-prod
419×distribute-lft-out
372×associate-/l*
369×cbrt-undiv
360×insert-posit16
340×pow-prod-down
336×flip-+ flip3-+
327×associate-*r/
319×flip3-- flip--
281×associate-*l/
256×exp-prod
243×tan-quot
229×div-inv
190×1-exp
184×associate-/r/
182×rec-exp
180×neg-mul-1
166×unswap-sqr
162×sqrt-div
156×sub-neg
155×frac-add
149×sqrt-pow1
141×distribute-rgt-in distribute-lft-in
118×*-commutative
114×swap-sqr
91×pow-prod-up
89×frac-sub
84×log-prod
82×pow1/3 log-pow
78×associate-/l/
73×frac-2neg clear-num
60×diff-log
58×sum-log
52×pow-sqr
49×pow1/2 unpow-prod-down
44×pow-flip inv-pow
38×distribute-neg-in
36×exp-sum
35×exp-diff associate-+r+
30×neg-sub0
29×rem-sqrt-square
27×associate-+l+
25×pow-plus +-commutative
24×associate--r+
23×pow-unpow associate--l+
22×sin-mult
20×unpow-prod-up div-sub
19×sqr-pow rem-exp-log
18×cos-mult
17×un-div-inv associate-+l-
13×neg-log
12×pow2 log-div
11×sub-div
10×pow-neg pow-sub
9×exp-neg
8×difference-of-sqr-1 pow-pow
6×distribute-frac-neg pow3
5×associate-+r- associate--l-
4×pow-exp cube-unmult pow-to-exp distribute-neg-frac cos-2
3×rem-cbrt-cube distribute-rgt-out rem-log-exp
2×distribute-lft1-in remove-posit16 sqrt-unprod difference-cubes tan-sum cos-sum
1×sub0-neg unpow2 unpow1/3 rem-square-sqrt

localize6.3s

bsearch5.3s

end1.0ms