Details

series10.9m (83.3%)

Calls

359 calls:

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.9s
(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)) z) (* a 4.0)) (- (* b c) (fma 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))))
1.6s
(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)))))

prune51.3s (6.5%)

sample50.8s (6.5%)

Algorithm
59×intervals
Results
11.8s263608×body80valid
9.0s21492×body1280valid
8.2s205756×body80nan
3.1s10820×body640valid
2.5s5410×body2560valid
1000.0ms5040×body320valid
475.0ms16512×pre80true
352.0ms2452×body160valid
59.0ms228×body5120valid

simplify10.1s (1.3%)

Algorithm
163×egg-herbie

rewrite8.0s (1.0%)

Algorithm
105×rewrite-expression-head
Calls

361 calls:

487.0ms
(* (- a x) (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))))
437.0ms
(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- a x))
323.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)))
297.0ms
(+ (* (- a x) (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))) x)
263.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
Rules
10835×*-un-lft-identity
10486×times-frac
8629×add-sqr-sqrt
6451×add-cube-cbrt
3440×add-exp-log
3365×prod-diff
2079×prod-exp
1560×distribute-lft-out--
1357×distribute-rgt-in distribute-lft-in
1251×add-cbrt-cube
1197×associate-+l+
955×distribute-lft-out
944×difference-of-squares
854×pow1
823×unpow-prod-down
789×distribute-rgt-neg-in
741×distribute-lft-neg-in
734×associate-*r*
678×div-exp
595×associate-/r/
574×cbrt-prod
550×div-inv
535×add-log-exp
472×pow-exp
464×flip-- flip3--
454×sqrt-prod
440×pow-to-exp
433×associate-*l*
431×exp-prod
406×associate-/l*
387×cbrt-unprod
361×log1p-expm1-u expm1-log1p-u
332×cube-prod
300×associate-/r*
281×log-pow
226×cbrt-undiv
212×neg-mul-1
202×pow-prod-down
197×fma-neg
194×exp-sum
176×fma-udef
159×sqrt-pow1
143×associate-+r+
138×associate-*l/
119×unswap-sqr
110×associate-*r/
107×1-exp sub-neg
106×sqrt-div
104×frac-times
102×log-prod
99×fma-def
95×*-commutative
91×cbrt-div
77×flip-+ flip3-+
71×rec-exp
66×clear-num frac-2neg
62×sqr-pow associate--r+
60×distribute-neg-in
59×pow1/3 frac-sub
56×pow-unpow diff-log
52×pow1/2
47×pow-pow associate-/l/
44×pow-prod-up
40×unpow-prod-up
34×sin-mult
32×sum-log
31×rem-sqrt-square
30×neg-sub0
28×pow-sqr distribute-rgt-out
26×swap-sqr
25×cos-mult
20×rem-exp-log
18×neg-log sub-div +-commutative
17×associate-+l-
16×pow-plus log-div
13×exp-diff
12×tan-quot exp-neg associate--l+
11×pow-flip div-sub
10×distribute-frac-neg
9×associate--l-
8×cube-div inv-pow frac-add pow2 distribute-neg-frac
7×cube-mult unpow3
6×rem-cube-cbrt distribute-rgt-out--
5×exp-to-pow rem-log-exp
3×sqrt-unprod rem-cbrt-cube
2×un-div-inv pow3 associate-+r- pow-sub rem-square-sqrt cos-sum tan-sum cube-neg
1×hypot-def quot-tan distribute-rgt-neg-out pow-neg log-rec

regimes7.1s (0.9%)

Accuracy

Total 27.8b remaining (21.7%)

Threshold costs 5.7b (4.4%)

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.4s (0.2%)

end1.0ms (0.0%)