Details

simplify30.6m

Calls

14943 calls:

Slowest
2.3s
(/ (* (* (* 2 2) 2) (* (* c c) c)) (* (* (* (- (* (/ c b) a) b) 2) (* (- (* (/ c b) a) b) 2)) (* (- (* (/ c b) a) b) 2)))
1.7s
(* (* (/ (* (* 1 1) 1) (* (* (- (acos a)) (- (acos a))) (- (acos a)))) (/ (* (* 1 1) 1) (* (* (- (acos a)) (- (acos a))) (- (acos a))))) (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))))
1.7s
(/ (* (* (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.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
(/ (* (* (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* (* y y) y))

prune4.0m

sample2.6m

Algorithm
58×intervals
Results
50.3s257746×body80valid
35.1s203995×body80nan
29.7s20410×body1280valid
11.3s10598×body640valid
5.6s4311×body2560valid
3.9s5068×body320valid
1.0s2372×body160valid
986.0ms16512×pre80true
93.0ms121×body5120valid

series47.7s

Calls

326 calls:

Slowest
1.3s
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
1.1s
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
703.0ms
(* (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)))
661.0ms
(* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
597.0ms
(fma (/ 1 (- (/ (+ 1.0 t) (- y z)) (/ z (- y z)))) (- a x) x)

regimes16.1s

Accuracy

Total 22.6b remaining (19.1%)

4.6b3.2%Linear.Matrix:det33 from linear-1.19.1.3
4.0b14.7%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.2b43.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
1.9b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

rewrite12.4s

Algorithm
98×rewrite-expression-head
Calls

330 calls:

Slowest
852.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 (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
776.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)
244.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
221.0ms
(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))
220.0ms
(* (* (* (* x 18.0) y) z) t)
Rules
18017×times-frac
12681×*-un-lft-identity
11731×add-sqr-sqrt
10736×add-cube-cbrt
5705×prod-diff
2393×sqrt-prod
1738×add-exp-log
1371×pow1
1287×add-cbrt-cube
959×div-inv
704×fma-neg
637×prod-exp
581×distribute-lft-out
536×distribute-rgt-neg-in
518×add-log-exp
511×distribute-lft-neg-in
468×cbrt-unprod
432×associate-*r*
422×pow-prod-down
417×distribute-lft-out--
384×div-exp
367×associate-/r*
354×difference-of-squares
348×associate-*l*
330×expm1-log1p-u insert-posit16 log1p-expm1-u
305×associate-/l*
287×tan-quot
266×exp-prod
246×frac-times
243×log-prod
235×cbrt-prod
219×exp-sum
206×associate-*l/
204×cbrt-undiv
186×flip3-- flip--
174×log-pow
173×associate-*r/
166×associate-/r/
163×neg-mul-1
156×cube-div
138×cbrt-div
136×pow-prod-up
113×distribute-rgt-in distribute-lft-in
104×1-exp
94×pow-flip
92×rec-exp
90×unswap-sqr
88×associate--r+
86×*-commutative
83×associate-+r+
82×pow-sqr
80×sub-neg
77×frac-sub
73×diff-log
63×frac-2neg clear-num
62×swap-sqr
61×associate-/l/
60×pow-plus
59×pow1/3
56×fma-def
54×associate-+l+
53×pow-unpow
44×flip-+ flip3-+
42×inv-pow
41×unpow-prod-down
37×pow2
35×fma-udef frac-add
34×exp-diff
33×rem-exp-log
32×sqrt-div
29×sum-log pow-exp
28×sqrt-pow1 pow1/2
24×rem-sqrt-square sin-mult
22×rem-log-exp
21×associate--l+ log-div
20×cos-mult
19×distribute-rgt-out--
18×difference-of-sqr-1
17×sqr-pow
16×neg-sub0 pow-to-exp div-sub
15×sub-div pow-pow
13×associate--l-
12×unpow-prod-up un-div-inv associate-+l-
11×neg-log
10×+-commutative
8×rem-cube-cbrt e-exp-1
6×distribute-frac-neg
5×pow3 pow-sub
4×cube-prod unpow3 cube-mult distribute-neg-frac rem-cbrt-cube cos-2
3×remove-posit16 log-rec exp-neg
2×associate-+r- tan-sum cos-sum
1×unpow1/2 sqrt-unprod unpow2 unpow1/3

localize5.9s

bsearch1.9s

end1.0ms