Details

series11.0m (59.8%)

Calls

330 calls:

1.8s
(* (cbrt (fma (- a 0.5) (log t) (- (log z) (- t (log (+ x y)))))) (cbrt (fma (- a 0.5) (log t) (- (log z) (- t (log (+ x y)))))))
1.7s
(* (cbrt (log (+ y x))) (cbrt (log (+ y x))))
1.5s
(cbrt (fma (- a 0.5) (log t) (- (log z) (- t (log (+ x y))))))
1.5s
(cbrt (fma (- a 0.5) (log t) (- (log z) (- t (log (+ x y))))))
1.5s
(cbrt (fma (- a 0.5) (log t) (- (log z) (- t (log (+ x y))))))

simplify3.1m (16.7%)

sample2.1m (11.3%)

Algorithm
59×intervals
Results
33.3s263323×body80valid
23.7s207865×body80nan
19.6s21181×body1280valid
7.0s11103×body640valid
4.5s5311×body2560valid
2.6s5177×body320valid
1.4s2488×body160valid
845.0ms16512×pre80true
139.0ms225×body5120valid

prune1.7m (9.1%)

regimes16.1s (1.5%)

Accuracy

Total 28.7b remaining (21.1%)

Threshold costs 4.1b (3%)

5.6b31.5%Linear.Matrix:det33 from linear-1.19.1.3
5.1b82.2%NMSE problem 3.2.1
3.3b30.8%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
3.1b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.5b65.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite10.9s (1.0%)

Algorithm
100×rewrite-expression-head
Calls

332 calls:

353.0ms
(/ (/ (/ 1 (pow sin (/ 2.0 2))) (* (/ (pow cos (/ 2.0 2)) (* (cbrt (cos (* 2.0 x))) (cbrt (cos (* 2.0 x))))) (* (* (/ (pow cos (/ 2.0 2)) (cbrt (cos (* x 2.0)))) x) (pow sin (/ 2.0 2))))) x)
273.0ms
(- (+ (/ x y) (/ 4.0 y)) (* (/ x y) z))
269.0ms
(/ (/ (cbrt 1) (* (* (pow sin (/ 2.0 2)) (* (/ (pow cos (/ 2.0 2)) (cbrt (cos (* 2.0 x)))) x)) (cbrt (pow sin (/ 2.0 2))))) (cbrt x))
250.0ms
(* (cbrt (- (/ (+ n f) (- f n)))) (cbrt (- (/ (+ n f) (- f n)))))
242.0ms
(/ (/ 1 (pow sin (/ 2.0 2))) (* (/ (pow cos (/ 2.0 2)) (* (cbrt (cos (* 2.0 x))) (cbrt (cos (* 2.0 x))))) (* (* (/ (pow cos (/ 2.0 2)) (cbrt (cos (* x 2.0)))) x) (pow sin (/ 2.0 2)))))
Rules
18317×add-exp-log
10492×times-frac
9904×div-exp
8656×prod-exp
7110×*-un-lft-identity
6596×add-sqr-sqrt
5848×add-cube-cbrt
2995×pow-exp
2990×pow-to-exp
2108×cbrt-prod
1527×add-cbrt-cube
1090×distribute-rgt-neg-in
1078×distribute-lft-neg-in
956×unpow-prod-down
950×prod-diff
810×1-exp
805×rec-exp
725×pow1
572×associate-/r*
540×associate-*r*
538×cbrt-unprod
532×associate-/l*
500×cube-prod
487×cbrt-undiv
466×associate-*l*
462×div-inv
451×add-log-exp
344×distribute-lft-out
334×log1p-expm1-u
332×expm1-log1p-u
308×sqrt-prod
277×distribute-lft-out--
268×neg-mul-1
224×difference-of-squares
218×sqr-pow
202×associate-/r/
185×pow-prod-down
148×associate-+r+
142×swap-sqr
141×unswap-sqr
137×fma-neg
114×flip3-- flip--
113×associate-*l/
95×pow1/3
90×*-commutative
77×tan-quot fma-def
75×flip-+ flip3-+
70×frac-2neg clear-num
67×associate--r+
64×associate-*r/
57×frac-times
52×associate-/l/
50×unpow3 cube-mult
44×fma-udef
43×sub-neg
41×distribute-rgt-in distribute-lft-in
39×diff-log
31×frac-sub
28×log-prod
27×log-pow
24×sum-log sqrt-pow1 pow1/2
22×distribute-neg-frac rem-sqrt-square unpow-prod-up
21×pow-unpow
20×sqrt-div exp-prod
17×frac-add
16×exp-sum +-commutative
15×associate-+l+ cbrt-div
14×neg-sub0 pow-pow
12×pow-prod-up sin-mult pow-sqr
11×cos-mult
9×associate--l+ div-sub
8×rem-exp-log
7×pow-flip exp-diff inv-pow
6×distribute-frac-neg distribute-rgt-neg-out pow2 neg-log pow-plus sub-div distribute-neg-in
5×associate--l- exp-neg associate-+l-
4×un-div-inv
3×expm1-log1p expm1-udef pow-sub distribute-rgt-out
2×distribute-lft-neg-out associate-+r- log1p-expm1 tan-sum cos-sum associate--r- log1p-udef log-div
1×rem-cube-cbrt unpow1/2 cube-neg sqrt-unprod exp-to-pow acos-asin

localize6.1s (0.5%)

bsearch1.9s (0.2%)

end1.0ms (0.0%)