Details

series18.5m (68.7%)

Calls

338 calls:

4.0m
(fma (* (cbrt x) (cbrt x)) (cbrt x) (+ (* (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)))) (/ (- y z) (- (+ t 1.0) z)))))
3.7m
(fma (* (cbrt x) (cbrt x)) (cbrt x) (+ (* (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)))))) (/ (- y z) (- (+ t 1.0) z)))))
2.4m
(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))))
968.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 (17.2%)

sample2.0m (7.3%)

Algorithm
59×intervals
Results
36.6s263030×body80valid
24.4s206503×body80nan
21.7s21477×body1280valid
8.5s11030×body640valid
5.1s5296×body2560valid
3.1s5109×body320valid
1.1s16512×pre80true
623.0ms2557×body160valid
223.0ms216×body5120valid

prune1.3m (4.6%)

regimes17.2s (1.1%)

Accuracy

Total 28.9b remaining (22.2%)

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

rewrite10.6s (0.7%)

Algorithm
101×rewrite-expression-head
Calls

339 calls:

306.0ms
(/ (- (/ (+ (tan y) (tan z)) (/ (- 1 (/ (* (tan y) (sin z)) (cos z))) (cos a))) (sin a)) (cos a))
279.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
221.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (fma y (+ y a) b) (* (cbrt y) (cbrt y))) (cbrt y)) c) y) i))
204.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
190.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (* (* (cbrt (* (/ x (cbrt y)) z)) (cbrt (* (/ x (cbrt y)) z))) (cbrt (* (/ x (cbrt y)) z))))
Rules
3907×add-sqr-sqrt
3696×*-un-lft-identity
3021×times-frac
2836×add-cube-cbrt
1350×add-exp-log
1162×prod-diff
1076×add-cbrt-cube
988×pow1
614×associate-*l*
591×cbrt-prod
515×associate-*r*
487×sqrt-prod
473×add-log-exp
453×prod-exp
369×cbrt-unprod
340×expm1-log1p-u log1p-expm1-u
339×insert-posit16
326×difference-of-squares
290×distribute-rgt-neg-in
284×pow-prod-down
280×associate-/r*
273×distribute-lft-out--
261×distribute-lft-neg-in
228×div-exp
208×fma-neg
196×div-inv
194×associate-/l*
183×distribute-lft-out
169×cbrt-undiv
145×flip3-- flip--
133×unswap-sqr
131×associate--r+
119×associate-*l/
109×pow1/3
102×associate-/r/
100×cbrt-div
92×*-commutative
79×neg-mul-1
72×swap-sqr
71×log-pow
69×fma-def
66×log-prod
54×distribute-rgt-in distribute-lft-in
53×fma-udef
51×associate-+l+
50×associate-*r/ diff-log
48×frac-times associate-+r+ frac-2neg clear-num 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 rem-exp-log
10×pow-unpow associate--l+ frac-add
9×associate--l- neg-log
6×pow-exp un-div-inv
5×associate-+r- distribute-neg-frac
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

localize5.6s (0.3%)

bsearch1.2s (0.1%)

end1.0ms (0.0%)