Details

series11.0m (57.8%)

Calls

330 calls:

1.2s
(* (fma (fma y (fma (+ y a) y b) c) y i) (/ 1 (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t)))
958.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x)) (cbrt x))))
863.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
819.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
811.0ms
(/ (fma (fma y (fma (+ y a) y b) c) y i) (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t))

simplify3.9m (20.4%)

sample1.9m (10.2%)

Algorithm
59×intervals
Results
32.3s263147×body80valid
26.4s208371×body80nan
18.4s21285×body1280valid
7.6s11034×body640valid
4.2s5239×body2560valid
2.6s5235×body320valid
901.0ms16512×pre80true
751.0ms2502×body160valid
134.0ms244×body5120valid

prune1.5m (8.0%)

regimes19.3s (1.7%)

Accuracy

Total 33.1b remaining (25.5%)

Threshold costs 3.8b (2.9%)

5.4b26.6%Linear.Matrix:det33 from linear-1.19.1.3
4.7b83.9%The quadratic formula (r1)
4.0b86.1%NMSE problem 3.2.1
4.0b-7.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
3.1b33.7%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

rewrite13.4s (1.2%)

Algorithm
99×rewrite-expression-head
Calls

332 calls:

383.0ms
(* (- (* z y) (* t a)) x)
324.0ms
(* (* (/ x y) (* (cbrt z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z))))) (cbrt z))
280.0ms
(- (+ (/ x y) (/ 4.0 y)) (* (/ x y) z))
239.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))
234.0ms
(* (pow cos (/ 2.0 2)) (* (* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2)))) (* x (pow sin (/ 2.0 2)))))
Rules
5387×times-frac
5015×*-un-lft-identity
4866×add-sqr-sqrt
4752×add-exp-log
4028×add-cube-cbrt
3250×prod-exp
1771×prod-diff
1242×add-cbrt-cube
917×pow1
827×div-exp
774×pow-exp
772×pow-to-exp
540×associate-*l*
489×cbrt-prod
481×associate-*r*
473×add-log-exp
470×cbrt-unprod
426×div-inv
339×sqrt-prod
332×expm1-log1p-u log1p-expm1-u
331×distribute-rgt-neg-in
318×distribute-lft-neg-in
298×distribute-lft-out--
261×associate-/l*
254×associate-/r*
249×difference-of-squares
247×fma-neg
245×pow-prod-down
201×distribute-lft-out
192×cbrt-undiv
167×associate-+r+
159×flip3-- flip--
130×swap-sqr
126×associate-*r/
121×unswap-sqr
118×tan-quot
112×associate-/r/
97×neg-mul-1
96×associate-*l/
92×*-commutative
88×log-prod
87×unpow-prod-down
76×fma-def
73×log-pow
70×frac-times
66×sqrt-div
65×pow1/3
61×cbrt-div
59×sub-neg
55×diff-log
54×frac-2neg clear-num
45×sqrt-pow1 1-exp rec-exp
44×distribute-rgt-in pow1/2 distribute-lft-in
39×flip-+ flip3-+
37×fma-udef
35×rem-sqrt-square
31×exp-sum sqr-pow
28×frac-sub
27×associate-/l/
26×pow-prod-up
25×frac-add
23×associate--l+
22×sum-log
20×pow-sqr
17×unpow-prod-up
16×sin-mult
15×exp-prod
14×log-div
13×pow-unpow
12×pow-plus
11×pow-flip +-commutative sub-div
10×cos-mult pow2 un-div-inv distribute-neg-frac
9×neg-sub0 associate--r+ inv-pow rem-exp-log associate-+l-
8×associate-+l+ associate--l-
7×neg-log
6×div-sub
4×exp-diff associate-+r- distribute-rgt-out-- pow-pow
3×rem-log-exp distribute-rgt-out
2×sqrt-unprod tan-sum cos-sum distribute-frac-neg e-exp-1 pow-sub
1×distribute-lft-neg-out cube-unmult pow3 exp-to-pow rem-square-sqrt rem-cbrt-cube

localize6.3s (0.6%)

bsearch1.8s (0.2%)

end1.0ms (0.0%)