Details

prune7.2m (33.8%)

series5.1m (23.7%)

Calls

341 calls:

2.0m
(- (* (* (* t t) z) z) (* (+ (* b a) (+ (* c i) (* y x))) (+ (* b a) (+ (* c i) (* y x)))))
1.9m
(/ 1 (/ (+ i (* y (+ (* y (+ b (* (+ a y) y))) c))) (+ t (* (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616) y))))
1.4s
(/ (- (* (* (* (sqrt (+ t a)) z) (* t 3.0)) (- a (/ 5.0 6.0))) (* (* t (- b c)) (- (* (+ a (/ 5.0 6.0)) (* t (* 3.0 (- a (/ 5.0 6.0))))) (* (- a (/ 5.0 6.0)) 2.0)))) (* (* t 3.0) (* (- a (/ 5.0 6.0)) t)))
1.4s
(cbrt (* (/ (- y z) (- 1.0 (- z t))) (- a x)))
1.4s
(cbrt (* (/ (- y z) (- 1.0 (- z t))) (- a x)))

rewrite2.8m (13.0%)

Algorithm
104×rewrite-expression-head
Calls

341 calls:

1.9m
(* (/ (/ (cbrt (/ (cbrt (cos (* 2.0 x))) (/ (pow sin (/ 2.0 2)) (cbrt (cos (* 2.0 x)))))) (cbrt x)) (pow cos (/ 2.0 2))) (/ (/ (/ (cbrt (cos (* 2.0 x))) (pow sin (/ 2.0 2))) (cbrt x)) x))
23.3s
(* (/ (/ (/ (cbrt (cos (* 2.0 x))) (/ (pow sin (/ 2.0 2)) (cbrt (cos (* 2.0 x))))) (* (cbrt x) (cbrt x))) (pow cos 2.0)) (/ (/ (/ (cbrt (cos (* 2.0 x))) (pow sin (/ 2.0 2))) (cbrt x)) x))
3.5s
(* (* (/ (/ (cbrt (/ (cbrt (cos (* 2.0 x))) (/ (pow sin (/ 2.0 2)) (cbrt (cos (* 2.0 x)))))) (cbrt x)) (pow cos (/ 2.0 2))) (/ (/ (/ (* (cbrt (cbrt (cos (* 2.0 x)))) (cbrt (cbrt (cos (* 2.0 x))))) (* (cbrt (pow sin (/ 2.0 2))) (cbrt (pow sin (/ 2.0 2))))) (cbrt (* (cbrt x) (cbrt x)))) 1)) (/ (/ (/ (cbrt (cbrt (cos (* 2.0 x)))) (cbrt (pow sin (/ 2.0 2)))) (cbrt (cbrt x))) x))
928.0ms
(/ (- (* (* (* (sqrt (+ t a)) z) (* t 3.0)) (- a (/ 5.0 6.0))) (* (* t (- b c)) (- (* (+ a (/ 5.0 6.0)) (* t (* 3.0 (- a (/ 5.0 6.0))))) (* (- a (/ 5.0 6.0)) 2.0)))) (* (* t 3.0) (* (- a (/ 5.0 6.0)) t)))
875.0ms
(* (cbrt (/ (cbrt (cos (* 2.0 x))) (/ (pow sin (/ 2.0 2)) (cbrt (cos (* 2.0 x)))))) (cbrt (/ (cbrt (cos (* 2.0 x))) (/ (pow sin (/ 2.0 2)) (cbrt (cos (* 2.0 x)))))))
Rules
100134×times-frac
53019×cbrt-prod
52621×add-sqr-sqrt
35084×*-un-lft-identity
34087×add-cube-cbrt
17999×unpow-prod-down
14653×associate-*l*
7232×sqr-pow
6691×add-exp-log
5120×associate-*r*
3848×div-exp
3267×associate-*r/
3129×associate-*l/
2787×unswap-sqr
1938×prod-exp
1920×frac-sub
1897×flip3-- flip--
1827×frac-times
1822×add-cbrt-cube
924×flip-+ flip3-+
876×div-inv
838×pow1
818×sqrt-div
805×cbrt-undiv
769×associate-/l*
725×distribute-rgt-neg-in
682×cube-prod
670×distribute-lft-neg-in
631×cbrt-unprod
567×associate-/l/
560×add-log-exp
433×pow-exp
430×pow-to-exp
394×associate-/r*
299×swap-sqr
271×distribute-lft-out
258×distribute-lft-out--
257×distribute-rgt-in distribute-lft-in
250×pow-prod-down
230×cbrt-div
218×associate-/r/
215×sqrt-prod
214×difference-of-squares
201×log-pow
198×exp-prod
191×1-exp
181×neg-mul-1
154×sub-neg
137×frac-add
135×sub-div
112×*-commutative
94×log-prod
82×associate--l+
73×frac-2neg clear-num
69×sum-log
61×sin-mult
60×pow1/3 diff-log
57×unpow3 cube-mult
54×associate--r+
52×cos-mult
50×associate-+l+
42×pow-unpow associate-+r+
33×sqrt-pow1 pow1/2
32×+-commutative
31×rem-sqrt-square
24×neg-sub0
23×rec-exp
21×tan-quot
20×associate-+l-
19×neg-log
14×unpow-prod-up pow-pow
13×div-sub
8×associate--l- log-div un-div-inv distribute-neg-frac rem-exp-log
7×distribute-lft-neg-out exp-sum
6×pow-prod-up pow-sqr
5×pow-flip rem-cube-cbrt exp-diff inv-pow unpow2 pow-sub
4×associate-+r-
3×pow2 pow-plus distribute-frac-neg cube-div
2×tan-sum exp-neg distribute-rgt-out-- cos-sum distribute-neg-in associate--r-
1×distribute-rgt-neg-out cube-neg sqrt-unprod rem-log-exp distribute-rgt-out pow-neg

sample2.7m (12.7%)

Algorithm
60×intervals
Results
1.1m317292×body80valid
27.1s207380×body80nan
22.3s21308×body1280valid
7.9s11271×body640valid
4.7s5370×body2560valid
2.5s4959×body320valid
894.0ms2643×body160valid
745.0ms16512×pre80true
142.0ms242×body5120valid

simplify2.7m (12.6%)

regimes37.0s (2.9%)

Accuracy

Total 33.6b remaining (27.8%)

Threshold costs 6.2b (5.1%)

9.7b19.6%Linear.Matrix:det33 from linear-1.19.1.3
4.5b13.6%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
3.0b88.5%The quadratic formula (r1)
2.3b-19.3%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
2.0b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

bsearch8.4s (0.7%)

localize7.8s (0.6%)

end2.0ms (0.0%)