Details

series10.8m (81.5%)

Calls

320 calls:

3.5s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
3.0s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.9s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
995.0ms
(* (cbrt (+ (log (+ x y)) (log z))) (cbrt (+ (log (+ x y)) (log z))))

sample1.2m (9.0%)

Algorithm
59×intervals
Results
22.8s263841×body80valid
13.0s206668×body80nan
11.0s21676×body1280valid
4.2s10969×body640valid
3.3s5335×body2560valid
1.3s4925×body320valid
813.0ms16512×pre80true
456.0ms2492×body160valid
90.0ms212×body5120valid

prune43.7s (5.5%)

rewrite12.9s (1.6%)

Algorithm
97×rewrite-expression-head
Calls

323 calls:

4.2s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
3.0s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
269.0ms
(/ (* (* x (* (cbrt (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) (cbrt (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))))) (cbrt (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) y)
256.0ms
(/ x (/ y (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))))
189.0ms
(- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))
Rules
11484×times-frac
8348×*-un-lft-identity
7368×add-sqr-sqrt
6301×add-cube-cbrt
1923×add-exp-log
1675×prod-diff
1566×cbrt-prod
1485×unpow-prod-down
1103×add-cbrt-cube
880×pow1
830×prod-exp
729×distribute-rgt-neg-in
663×distribute-lft-neg-in
625×associate-/r*
569×distribute-lft-out
568×distribute-lft-out--
548×cube-prod
525×div-inv
509×associate-*r*
472×add-log-exp
457×associate-/l*
409×div-exp
391×associate-*l*
367×difference-of-squares
346×associate-/r/
328×sqrt-prod
324×fma-udef
323×log1p-expm1-u expm1-log1p-u
319×cbrt-unprod
303×exp-sum
249×flip-- flip3--
230×cbrt-div
227×fma-neg
218×neg-mul-1
211×pow-prod-down
204×cbrt-undiv
168×log-pow
160×pow-exp
156×associate--r+
142×pow-to-exp
136×distribute-rgt-in distribute-lft-in
130×associate-*r/
126×flip-+ flip3-+
125×unswap-sqr
121×frac-times
109×sqr-pow associate-*l/
106×swap-sqr
88×fma-def
86×*-commutative
84×pow1/3
81×associate-+r+
80×sqrt-div
70×tan-quot
69×exp-prod
66×sub-neg
65×clear-num frac-2neg
60×diff-log
47×sqrt-pow1
45×frac-sub
43×associate-/l/ log-prod
42×sin-mult
39×1-exp rec-exp
29×pow-unpow rem-sqrt-square
28×pow1/2
27×pow-prod-up
26×sum-log
21×pow-sqr
20×unpow3 cube-mult associate--l+
18×distribute-rgt-out--
17×pow-plus cos-mult
16×associate-+l+ neg-sub0 associate-+l-
13×neg-log +-commutative
12×pow-pow associate--l-
11×cube-div pow2
10×sub-div log-div
9×div-sub
6×rem-cube-cbrt inv-pow pow-flip
4×rem-exp-log distribute-neg-frac
3×frac-add rem-cbrt-cube
2×exp-diff cos-sum pow3 unpow2 distribute-frac-neg tan-sum associate-+r-
1×un-div-inv sqrt-unprod exp-to-pow rem-log-exp

simplify9.2s (1.2%)

Algorithm
155×egg-herbie

regimes6.3s (0.8%)

Accuracy

Total 33.2b remaining (25.8%)

Threshold costs 3.0b (2.3%)

7.2b4.3%Linear.Matrix:det33 from linear-1.19.1.3
4.6b83.7%NMSE problem 3.2.1
4.6b10%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.8b71.7%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

localize2.4s (0.3%)

bsearch1.2s (0.2%)

end1.0ms (0.0%)