Details

series10.7m (43.5%)

Calls

318 calls:

3.2s
(- (- (+ (- (* y (* (* z x) (* 18.0 t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.1s
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))
979.0ms
(fma (/ (+ (tan y) (tan z)) (- (* 1 1) (* (* (tan y) (tan z)) (* (tan y) (tan z))))) (+ 1 (* (tan y) (tan z))) (- (tan a)))
915.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))
806.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))

simplify7.7m (31.3%)

prune3.0m (12.1%)

sample2.5m (10.4%)

Algorithm
59×intervals
Results
48.0s263818×body80valid
31.9s206614×body80nan
29.3s21532×body1280valid
10.6s11071×body640valid
6.9s5332×body2560valid
3.6s4974×body320valid
1.1s16512×pre80true
1.1s2411×body160valid
220.0ms224×body5120valid

rewrite15.8s (1.1%)

Algorithm
99×rewrite-expression-head
Calls

321 calls:

8.3s
(- (- (+ (- (* y (* (* z x) (* 18.0 t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
241.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
190.0ms
(* (* (* (* x 18.0) y) z) t)
181.0ms
(* (* y (* (* z x) 18.0)) t)
156.0ms
(* y (* (* (* z x) 18.0) t))
Rules
5013×*-un-lft-identity
4670×add-sqr-sqrt
4456×times-frac
3748×add-cube-cbrt
1842×prod-diff
1697×add-exp-log
1364×add-cbrt-cube
1006×pow1
549×prod-exp
538×sqrt-prod
515×associate-*r*
480×add-log-exp
435×cbrt-unprod
432×div-exp
403×associate-/r*
354×distribute-lft-out
336×div-inv
322×expm1-log1p-u
321×log1p-expm1-u insert-posit16
319×associate-*l*
302×distribute-lft-out--
300×pow-prod-down
297×difference-of-squares
295×cbrt-prod
291×cbrt-undiv
290×fma-neg
284×distribute-rgt-neg-in
257×associate-/l*
249×distribute-lft-neg-in
241×associate-/r/
202×log-pow
189×exp-prod
146×tan-quot
136×flip-- flip3--
112×unswap-sqr
100×exp-sum
98×associate-+r+
93×frac-times
89×associate-*l/
86×distribute-rgt-in distribute-lft-in
84×associate-*r/
83×flip-+ flip3-+
81×neg-mul-1
80×*-commutative
67×sub-neg
66×pow1/3 diff-log
64×frac-2neg clear-num
57×fma-udef
50×cbrt-div
49×unpow-prod-up swap-sqr
48×1-exp rec-exp
46×associate-/l/
45×log-prod
44×fma-def
41×pow-prod-up
37×associate-+l+
35×pow-sqr
33×sqrt-pow1
32×sqrt-div pow1/2 sin-mult
30×associate--l+
28×cos-mult
26×frac-sub
25×distribute-rgt-out--
24×pow-unpow
21×sum-log pow-plus rem-sqrt-square
19×sub-div
18×unpow-prod-down
15×div-sub
14×rem-exp-log
12×pow2
11×pow-exp
10×pow-flip
9×neg-sub0 associate--l- +-commutative inv-pow log-div
8×associate-+l-
7×exp-diff neg-log frac-add
6×sqr-pow pow-pow pow-to-exp un-div-inv
5×associate-+r- e-exp-1
4×difference-of-sqr-1 expm1-def pow-sub
3×cos-2
2×pow3 sqrt-unprod tan-sum exp-to-pow distribute-neg-frac cos-sum distribute-frac-neg rem-log-exp
1×expm1-log1p expm1-udef remove-posit16 log1p-expm1 log1p-udef rem-square-sqrt rem-cbrt-cube

regimes15.3s (1.0%)

Accuracy

Total 33.4b remaining (25.3%)

Threshold costs 4.3b (3.3%)

7.3b1.7%Linear.Matrix:det33 from linear-1.19.1.3
4.9b82.6%NMSE problem 3.2.1
4.4b84.2%The quadratic formula (r1)
3.7b27.5%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))

localize5.6s (0.4%)

bsearch3.4s (0.2%)

end1.0ms (0.0%)