Details

series18.6m (66.5%)

Calls

338 calls:

4.0m
(fma (* (cbrt x) (cbrt x)) (cbrt x) (+ (* (/ (- y z) (- (+ t 1.0) z)) (fma 1 a (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* (/ (- y z) (- (+ t 1.0) z)) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))
3.7m
(fma (* (cbrt x) (cbrt x)) (cbrt x) (+ (* (/ (- y z) (- (+ t 1.0) z)) (fma 1 a (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* (/ (- y z) (- (+ t 1.0) z)) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))))))
2.1m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
1.1s
(+ x (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))))
983.0ms
(cbrt (/ (* x (* (pow (sqrt E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (pow (sqrt E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y))

simplify4.7m (16.9%)

sample2.7m (9.5%)

Algorithm
59×intervals
Results
51.0s263030×body80valid
33.2s206503×body80nan
29.7s21477×body1280valid
10.8s11030×body640valid
6.2s5296×body2560valid
3.7s5109×body320valid
1.2s2557×body160valid
1.2s16512×pre80true
176.0ms216×body5120valid

prune1.3m (4.7%)

regimes19.1s (1.1%)

Accuracy

Total 29.2b remaining (22.3%)

Threshold costs 3.9b (3%)

5.7b19.8%Linear.Matrix:det33 from linear-1.19.1.3
4.8b82.8%NMSE problem 3.2.1
4.6b83.5%The quadratic formula (r1)
2.2b0%fabs fraction 1
2.1b62.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite11.8s (0.7%)

Algorithm
101×rewrite-expression-head
Calls

339 calls:

615.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
335.0ms
(/ (- (/ (+ (tan y) (tan z)) (/ (- 1 (/ (* (tan y) (sin z)) (cos z))) (cos a))) (sin a)) (cos a))
246.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
223.0ms
(/ (- (/ (+ (tan y) (tan z)) (/ (- 1 (* (tan y) (tan z))) (cos a))) (sin a)) (cos a))
222.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
Rules
3913×add-sqr-sqrt
3708×*-un-lft-identity
3021×times-frac
2842×add-cube-cbrt
1350×add-exp-log
1162×prod-diff
1076×add-cbrt-cube
988×pow1
680×associate-*l*
615×cbrt-prod
487×sqrt-prod
473×add-log-exp
453×prod-exp
449×associate-*r*
369×cbrt-unprod
340×expm1-log1p-u log1p-expm1-u
339×insert-posit16
326×difference-of-squares
302×distribute-rgt-neg-in
284×pow-prod-down
280×associate-/r*
273×distribute-lft-neg-in distribute-lft-out--
228×div-exp
208×fma-neg
196×div-inv
194×associate-/l*
186×distribute-lft-out
169×cbrt-undiv
145×flip3-- flip--
133×unswap-sqr
131×associate--r+
121×associate-*l/
109×pow1/3
102×associate-/r/
100×cbrt-div
92×*-commutative
82×neg-mul-1
72×swap-sqr
71×log-pow
69×fma-def
66×log-prod
57×fma-udef
56×distribute-rgt-in distribute-lft-in
51×associate-+l+
50×diff-log
48×frac-times associate-+r+ frac-2neg clear-num associate-*r/ sub-neg
46×sqrt-pow1
45×flip-+ pow1/2 associate-/l/ flip3-+
42×1-exp sqrt-div rec-exp
40×tan-quot
38×exp-sum
37×pow-prod-up
31×rem-sqrt-square pow-sqr
29×sin-mult
27×sum-log
26×cos-mult frac-sub
21×exp-prod
19×pow-plus
17×associate-+l-
16×div-sub log-div
15×sub-div
14×difference-of-sqr-1
13×unpow-prod-up pow2 +-commutative
12×pow-flip unpow-prod-down
11×neg-sub0 inv-pow distribute-neg-frac rem-exp-log
10×pow-unpow associate--l+ frac-add
9×associate--l- neg-log
6×pow-exp un-div-inv
5×associate-+r-
4×exp-diff sqr-pow pow-pow pow-to-exp expm1-def
3×cos-2
2×expm1-log1p expm1-udef distribute-lft-neg-out pow3 sqrt-unprod tan-sum cos-sum distribute-frac-neg e-exp-1
1×log1p-expm1 log1p-udef rem-square-sqrt rem-cbrt-cube rem-log-exp associate--r- pow-sub

localize6.0s (0.4%)

bsearch1.4s (0.1%)

end1.0ms (0.0%)