Details

series10.8m (82.6%)

Calls

321 calls:

3.2s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
673.0ms
(fma (- (* c t) (* i y)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))))
559.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))

sample1.2m (9.1%)

Algorithm
59×intervals
Results
23.0s263473×body80valid
12.8s209152×body80nan
10.6s21329×body1280valid
3.9s10960×body640valid
3.2s5331×body2560valid
1.3s5128×body320valid
809.0ms16512×pre80true
486.0ms2596×body160valid
97.0ms233×body5120valid

prune41.6s (5.3%)

simplify7.8s (1.0%)

Algorithm
158×egg-herbie

regimes6.6s (0.8%)

Accuracy

Total 33.7b remaining (25.9%)

Threshold costs 4.3b (3.3%)

7.1b2.2%Linear.Matrix:det33 from linear-1.19.1.3
4.6b83.8%NMSE problem 3.2.1
3.6b0%fabs fraction 1
3.5b31.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
3.3b87.7%The quadratic formula (r1)

rewrite5.2s (0.7%)

Algorithm
100×rewrite-expression-head
Calls

323 calls:

254.0ms
(/ (/ 1 (/ (/ (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) 4.0) a) c)) (* 2.0 a))
249.0ms
(* (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) (/ 1 y))
142.0ms
(/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
117.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
89.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))
Rules
9649×times-frac
6686×*-un-lft-identity
6506×add-sqr-sqrt
4780×add-cube-cbrt
2133×add-exp-log
1163×associate-/l*
1134×add-cbrt-cube
941×prod-diff
921×prod-exp
768×distribute-lft-out--
722×sqrt-prod
712×pow1
693×difference-of-squares
652×associate-*r*
619×distribute-rgt-neg-in
508×div-exp
450×add-log-exp
392×associate-*l*
365×distribute-lft-neg-in
356×cbrt-prod
325×expm1-log1p-u
323×log1p-expm1-u
308×cbrt-unprod
279×associate-/r*
274×div-inv
239×cbrt-undiv
232×distribute-lft-out
196×unpow-prod-down
192×distribute-rgt-in distribute-lft-in
157×associate--r+
152×fma-def
150×flip3-- pow-prod-down flip--
147×pow-exp
143×log-pow
142×fma-neg
141×pow-to-exp
140×unswap-sqr
116×associate-/r/
104×neg-mul-1
102×associate-+r+
93×exp-prod
91×1-exp
89×exp-sum
86×*-commutative
83×associate-*l/
76×rec-exp
75×associate-*r/
72×sqrt-div
67×sub-neg
66×clear-num frac-2neg
62×flip-+ associate-/l/ flip3-+ pow1/3
61×fma-udef log-prod
58×sqr-pow
46×frac-sub frac-times
42×diff-log
36×associate-+l+
35×pow1/2 swap-sqr sqrt-pow1
31×cbrt-div tan-quot
30×associate--l+ unpow2
27×sum-log
25×rem-sqrt-square sin-mult
19×neg-sub0 distribute-neg-frac
18×div-sub
17×cos-mult
16×neg-log
15×associate-+l-
14×+-commutative
11×frac-add pow-flip
10×pow-prod-up
9×sub-div
8×pow-unpow inv-pow pow-sqr associate--l- log-div
7×rem-exp-log un-div-inv
6×pow-pow
5×distribute-neg-in unpow-prod-up
4×pow-plus pow2 rem-log-exp
3×exp-diff distribute-frac-neg
2×log1p-udef sqrt-unprod distribute-lft-neg-out associate-+r- exp-neg log1p-expm1 tan-sum cos-sum
1×sin-cos-mult pow-sub expm1-log1p rem-square-sqrt expm1-udef exp-to-pow mul-1-neg

localize2.6s (0.3%)

bsearch1.2s (0.2%)

end1.0ms (0.0%)