Details

series10.9m (79.6%)

Calls

358 calls:

3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.9s
(fma t (- (* (* (* x (* 18.0 y)) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
1.7s
(pow (* (* (cbrt (exp (* (cbrt (log (log (- (/ 1.0 x) 1.0)))) (cbrt (log (log (- (/ 1.0 x) 1.0))))))) (cbrt (exp (* (cbrt (log (log (- (/ 1.0 x) 1.0)))) (cbrt (log (log (- (/ 1.0 x) 1.0)))))))) (cbrt (exp (* (cbrt (log (log (- (/ 1.0 x) 1.0)))) (cbrt (log (log (- (/ 1.0 x) 1.0)))))))) (cbrt (log (log (- (/ 1.0 x) 1.0)))))

sample1.4m (10.5%)

Algorithm
59×intervals
Results
30.4s263608×body80valid
18.7s205756×body80nan
11.5s21492×body1280valid
4.1s10820×body640valid
3.5s5410×body2560valid
1.4s5040×body320valid
980.0ms16512×pre80true
482.0ms2452×body160valid
120.0ms228×body5120valid

prune52.2s (6.4%)

simplify9.8s (1.2%)

Algorithm
163×egg-herbie

rewrite7.7s (0.9%)

Algorithm
105×rewrite-expression-head
Calls

360 calls:

498.0ms
(* (- a x) (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))))
450.0ms
(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- a x))
305.0ms
(- (+ (/ (sin y) (* (- 1 (/ (* (sin y) (sin z)) (* (cos z) (cos y)))) (cos y))) (/ (sin z) (* (- 1 (/ (* (sin y) (sin z)) (* (cos z) (cos y)))) (cos z)))) (/ (sin a) (cos a)))
300.0ms
(+ (* (- a x) (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))) x)
255.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
Rules
10549×*-un-lft-identity
10286×times-frac
8405×add-sqr-sqrt
6375×add-cube-cbrt
3462×prod-diff
3436×add-exp-log
2078×prod-exp
1488×distribute-lft-out--
1360×distribute-rgt-in distribute-lft-in
1250×add-cbrt-cube
1197×associate-+l+
922×distribute-lft-out
873×difference-of-squares
847×pow1
724×associate-*r*
677×div-exp
666×distribute-rgt-neg-in
618×distribute-lft-neg-in
617×unpow-prod-down
583×associate-/r/
568×div-inv
532×add-log-exp
470×pow-exp
461×flip-- flip3--
452×sqrt-prod
441×pow-to-exp
435×associate-*l*
417×associate-/l*
386×cbrt-unprod
360×log1p-expm1-u expm1-log1p-u
306×associate-/r*
302×cbrt-prod
290×exp-prod
227×cbrt-undiv
210×fma-neg
202×pow-prod-down
196×exp-sum
181×neg-mul-1
180×fma-udef
155×sqrt-pow1
148×associate-*l/
141×associate-+r+
139×log-pow
136×cube-prod
118×unswap-sqr
115×cbrt-div
114×frac-times associate-*r/
109×sub-neg
106×1-exp
99×log-prod
98×sqrt-div
95×*-commutative
92×fma-def
70×rec-exp
69×flip-+ flip3-+
68×clear-num frac-2neg
62×associate--r+
61×sqr-pow
60×distribute-neg-in pow1/3 frac-sub
59×pow-unpow
56×diff-log
53×associate-/l/
49×pow-pow
48×pow1/2
44×pow-prod-up
40×unpow-prod-up
34×sin-mult
31×sum-log
30×neg-sub0
28×pow-sqr distribute-rgt-out
27×rem-sqrt-square
26×swap-sqr
25×cos-mult
20×cube-div rem-exp-log
19×sub-div
18×neg-log
17×+-commutative associate-+l-
16×pow-plus log-div
13×exp-diff
12×tan-quot exp-neg
11×div-sub associate--l+
10×pow-flip
9×distribute-frac-neg associate--l-
8×frac-add pow2 distribute-neg-frac
7×distribute-rgt-out-- inv-pow
6×cube-mult rem-cube-cbrt unpow3
5×exp-to-pow
4×rem-log-exp
3×sqrt-unprod pow3 rem-cbrt-cube
2×un-div-inv associate-+r- pow-sub rem-square-sqrt cos-sum tan-sum
1×unpow1/3 quot-tan cube-neg pow-neg log-rec

regimes7.1s (0.9%)

Accuracy

Total 28.9b remaining (22.4%)

Threshold costs 4.7b (3.7%)

5.0b-0.8%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.4b84.7%NMSE problem 3.2.1
3.7b5.7%Linear.Matrix:det33 from linear-1.19.1.3
2.7b19.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))

localize2.6s (0.3%)

bsearch1.6s (0.2%)

end1.0ms (0.0%)