Details

series10.7m (47.7%)

Calls

316 calls:

4.0s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x 4.0) i))))
1.1s
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
952.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (fma 1 a (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
923.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
877.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))

simplify6.5m (28.8%)

sample2.6m (11.5%)

Algorithm
59×intervals
Results
47.6s263529×body80valid
32.6s209394×body80nan
27.8s21584×body1280valid
14.3s10807×body640valid
6.7s5357×body2560valid
3.6s5080×body320valid
1.5s16512×pre80true
934.0ms2455×body160valid
243.0ms237×body5120valid

prune2.2m (9.7%)

regimes14.6s (1.1%)

Accuracy

Total 28.7b remaining (20.8%)

Threshold costs 3.8b (2.8%)

4.9b82.4%The quadratic formula (r1)
4.5b0%Linear.Matrix:det33 from linear-1.19.1.3
4.1b6.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
3.5b89.7%NMSE problem 3.2.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite10.4s (0.8%)

Algorithm
98×rewrite-expression-head
Calls

319 calls:

254.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
253.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
249.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
236.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a)))
233.0ms
(- (* 0.5 (- (log t))) (- (- t (+ (log z) (log y))) (* (log t) a)))
Rules
5035×*-un-lft-identity
4605×add-sqr-sqrt
4455×times-frac
3276×add-cube-cbrt
1454×add-exp-log
1228×add-cbrt-cube
1075×prod-diff
1038×pow1
716×cbrt-prod
600×sqrt-prod
518×associate-*r*
510×difference-of-squares
490×associate-*l*
479×add-log-exp
463×distribute-rgt-neg-in
459×distribute-lft-out--
436×prod-exp
431×associate-/r*
412×distribute-lft-neg-in
390×distribute-lft-out
384×cbrt-unprod
347×div-exp
320×expm1-log1p-u
319×log1p-expm1-u insert-posit16
317×pow-prod-down
288×associate-/l*
241×cbrt-undiv
235×fma-neg
228×associate-+r+
227×div-inv
175×swap-sqr
151×associate-/r/
129×unswap-sqr
125×flip3-- flip--
112×neg-mul-1
88×tan-quot
87×associate-*l/
85×log-pow
83×*-commutative
76×associate-*r/
75×log-prod
73×frac-times
66×diff-log
64×frac-2neg associate--l+ clear-num
62×fma-udef
59×pow1/3
58×associate-/l/ sin-mult
55×exp-sum
53×1-exp cbrt-div fma-def
52×flip-+ flip3-+ sub-neg
50×cos-mult
44×distribute-rgt-in distribute-lft-in
38×sqrt-pow1 rec-exp
37×pow1/2
36×associate--r+
33×pow-prod-up pow-sqr
30×sqrt-div
28×sum-log
27×frac-sub rem-sqrt-square
25×exp-prod
23×div-sub
17×pow-flip
16×difference-of-sqr-1 sub-div
15×pow-unpow pow-plus rem-exp-log
14×exp-diff
13×+-commutative inv-pow frac-add
12×associate-+l+ neg-sub0
10×associate--l- log-div
9×pow2 unpow-prod-down
8×distribute-neg-frac
7×neg-log
6×associate-+r- un-div-inv associate-+l- distribute-neg-in cos-2
5×distribute-frac-neg
4×sqrt-unprod hypot-def expm1-def
3×pow-exp sqr-pow pow-pow pow-to-exp distribute-rgt-out
2×tan-sum exp-to-pow cos-sum log1p-udef
1×log1p-expm1 sqr-sin rem-log-exp associate--r-

localize5.3s (0.4%)

bsearch1.3s (0.1%)

end1.0ms (0.0%)