Details

series10.8m (46.4%)

Calls

329 calls:

4.0s
(fma (- (* (* (* y z) x) 18.0) (* a 4.0)) t (- (* c b) (fma (* x i) 4.0 (* j (* k 27.0)))))
4.0s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x 4.0) i))))
4.0s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (fma c b (- (fma (* x i) 4.0 (* j (* k 27.0))))))
3.7s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma (* x i) 4.0 (* j (* k 27.0)))))
899.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))

simplify5.0m (21.2%)

prune4.4m (18.7%)

sample2.6m (11.3%)

Algorithm
59×intervals
Results
47.4s263932×body80valid
32.6s206772×body80nan
31.3s21400×body1280valid
10.6s11017×body640valid
7.4s5318×body2560valid
3.6s5141×body320valid
1.5s2509×body160valid
1.2s16512×pre80true
251.0ms256×body5120valid

regimes15.4s (1.1%)

Accuracy

Total 28.7b remaining (20.6%)

Threshold costs 6.6b (4.7%)

6.1b78.1%The quadratic formula (r1)
4.3b15.2%Linear.Matrix:det33 from linear-1.19.1.3
4.2b85.3%NMSE problem 3.2.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.0b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

rewrite12.1s (0.9%)

Algorithm
99×rewrite-expression-head
Calls

331 calls:

1.0s
(cbrt (* (* (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))))
860.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
727.0ms
(cbrt (* (cbrt (* (* (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (* (* (sin a) (sin b)) (* (sin a) (sin b))))) (* (sin a) (sin b))))
231.0ms
(- (+ x (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (tan a))
225.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
Rules
21468×times-frac
12357×*-un-lft-identity
12135×add-sqr-sqrt
11161×add-cube-cbrt
9104×cbrt-prod
2811×prod-diff
2294×distribute-rgt-neg-in
2275×distribute-lft-neg-in
1762×add-exp-log
1261×add-cbrt-cube
1172×pow1
934×sqrt-prod
756×neg-mul-1
695×prod-exp
686×sin-mult
683×div-inv
547×associate-*r*
522×add-log-exp
518×frac-times
486×associate-*l*
460×cbrt-div
457×cbrt-unprod
413×pow-prod-down
373×div-exp
370×associate-*l/
331×expm1-log1p-u log1p-expm1-u insert-posit16
330×associate-/r*
328×difference-of-squares
324×associate-/l*
315×distribute-lft-out--
281×distribute-lft-out
280×fma-neg
266×associate-*r/
236×distribute-rgt-in distribute-lft-in
208×associate-+r+
207×cbrt-undiv
174×associate-/r/
146×exp-sum
142×flip3-- flip--
121×unswap-sqr
95×swap-sqr
85×*-commutative
76×pow1/3 exp-prod
74×1-exp rec-exp
69×sub-neg
68×diff-log
58×fma-udef
54×flip-+ flip3-+
50×frac-2neg clear-num fma-def
48×log-prod pow-prod-up pow-sqr
46×associate-/l/
45×sqrt-pow1
44×tan-quot log-pow
38×rem-exp-log
34×sum-log pow1/2
33×associate-+l+
26×rem-sqrt-square
25×exp-diff
24×unpow-prod-down
23×associate--l+
22×frac-sub
20×pow-plus
19×pow-flip
18×sqrt-div
16×cos-mult
15×sub-div
14×+-commutative inv-pow
12×distribute-neg-frac
11×pow-exp pow2 pow-to-exp
7×neg-sub0 sqr-pow distribute-rgt-out--
6×div-sub frac-add
5×associate--l- neg-log pow-pow associate-+l-
4×associate-+r- pow-unpow sqrt-unprod log-div
3×pow-div pow3 un-div-inv rem-cbrt-cube
2×distribute-lft-neg-out difference-of-sqr-1 tan-sum distribute-frac-neg distribute-neg-in cos-sum
1×distribute-rgt-neg-out rem-log-exp associate--r+ exp-to-pow remove-posit16 cos-2

localize5.5s (0.4%)

bsearch1.2s (0.1%)

end1.0ms (0.0%)