Details

simplify4.3m (35.2%)

sample2.7m (22.1%)

Algorithm
59×intervals
Results
51.2s262422×body80valid
34.4s206340×body80nan
28.8s21134×body1280valid
11.9s10865×body640valid
6.6s5351×body2560valid
4.4s5159×body320valid
1.5s2555×body160valid
1.1s16512×pre80true
171.0ms205×body5120valid

series2.7m (21.9%)

Calls

344 calls:

1.7m
(/ 1 (/ (+ i (* y (+ c (* y (+ (* (+ a y) y) b))))) (+ (* y (+ 230661.510616 (* (+ (* y (+ z (* x y))) 27464.7644705) y))) t)))
10.0s
(* (* (* (/ (cbrt a) (cbrt a)) (/ (cbrt a) (fabs (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))) (/ (/ (cbrt a) (sqrt (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (cbrt a))) (/ (/ c (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (cbrt a)))
825.0ms
(/ (+ i (* y (+ c (* y (+ (* (+ a y) y) b))))) (+ (* y (+ 230661.510616 (* (+ (* y (+ z (* x y))) 27464.7644705) y))) t))
805.0ms
(/ (/ a (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (* (cbrt a) (cbrt a)))
752.0ms
(/ (- (/ (cos a) (/ (- 1 (* (tan y) (tan z))) (+ (tan y) (tan z)))) (sin a)) (cos a))

prune1.5m (12.6%)

regimes31.0s (4.2%)

Accuracy

Total 36.6b remaining (26.6%)

Threshold costs 3.4b (2.5%)

5.4b0.6%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
5.2b81%The quadratic formula (r1)
4.3b4%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
3.7b-57.8%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
3.4b7.1%Linear.Matrix:det33 from linear-1.19.1.3

rewrite14.1s (1.9%)

Algorithm
103×rewrite-expression-head
Calls

344 calls:

512.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))
485.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
400.0ms
(* (* (* (/ (cbrt a) (cbrt a)) (/ (cbrt a) (fabs (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))) (/ (/ (cbrt a) (sqrt (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (cbrt a))) (/ (/ c (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (cbrt a)))
347.0ms
(* (/ 1 (* (- (+ t 1.0) z) (/ 1 (- y z)))) (- a x))
251.0ms
(* (/ (/ a (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (* (cbrt a) (cbrt a))) (/ (/ c (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (cbrt a)))
Rules
6333×times-frac
5538×*-un-lft-identity
5281×add-sqr-sqrt
3392×add-cube-cbrt
1994×add-exp-log
1466×add-cbrt-cube
1333×pow1
1152×associate-*l*
961×associate-*r*
802×distribute-lft-out--
719×prod-exp
689×difference-of-squares
568×add-log-exp
544×cbrt-unprod
504×sqrt-prod
493×flip3-- flip--
484×cbrt-prod
482×div-exp
466×pow-prod-down
399×associate-/r/
392×associate-/l*
366×associate-/r*
357×distribute-lft-out
346×cbrt-undiv
344×insert-posit16
301×frac-times
289×distribute-rgt-neg-in
273×distribute-lft-neg-in
264×associate-*r/
258×div-inv
238×sqrt-div
233×flip-+ flip3-+
221×associate-*l/
213×frac-sub
190×unswap-sqr
149×cbrt-div
144×sub-neg
125×distribute-rgt-in distribute-lft-in
124×*-commutative
101×frac-add
80×pow-prod-up
78×1-exp rec-exp
76×neg-mul-1
70×log-prod
64×exp-sum frac-2neg clear-num pow-sqr
63×sum-log
62×diff-log
61×associate-/l/
59×pow1/3
53×exp-prod
44×pow-flip sqrt-pow1 pow1/2
40×associate-+r+
39×swap-sqr
38×associate--l+
37×tan-quot
36×sin-mult
35×pow-plus
34×rem-sqrt-square
31×cos-mult
27×rem-exp-log
26×pow-unpow +-commutative
24×pow-exp
23×pow2
20×neg-sub0 associate--r+ div-sub unpow-prod-down log-pow
19×associate-+l+
17×sub-div associate-+l-
15×exp-diff pow-to-exp
14×sqr-pow pow-pow distribute-neg-frac
12×e-exp-1
11×neg-log inv-pow
9×un-div-inv
8×distribute-frac-neg
7×log-div
6×associate--l-
5×difference-of-sqr-1
3×associate-+r-
2×distribute-lft-neg-out pow3 sqrt-unprod cos-sum tan-sum remove-posit16 rem-cbrt-cube
1×cos-2 exp-to-pow unpow2 rem-square-sqrt rem-log-exp distribute-rgt-out

bsearch8.8s (1.2%)

localize6.8s (0.9%)

end1.0ms (0.0%)