Details

series11.0m (81.6%)

Calls

340 calls:

6.7s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
3.7s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
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)))))

prune1.1m (8.3%)

sample51.6s (6.4%)

Algorithm
59×intervals
Results
11.9s263263×body80valid
8.9s21490×body1280valid
8.4s207972×body80nan
3.0s10713×body640valid
2.5s5325×body2560valid
962.0ms5178×body320valid
435.0ms16512×pre80true
336.0ms2534×body160valid
58.0ms217×body5120valid

simplify11.1s (1.4%)

Algorithm
159×egg-herbie

rewrite7.3s (0.9%)

Algorithm
101×rewrite-expression-head
Calls

342 calls:

304.0ms
(- (/ (- b_2) a) (/ (sqrt 1) (/ a (sqrt (- (* b_2 b_2) (* a c))))))
264.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
249.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
211.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a)))
188.0ms
(* (pow (/ 1 (/ (- (+ t 1.0) z) (- y z))) 1) (- a x))
Rules
19623×times-frac
13661×*-un-lft-identity
13396×add-sqr-sqrt
12101×add-cube-cbrt
7097×prod-diff
5427×sqrt-prod
2048×distribute-rgt-neg-in
2039×add-exp-log
2010×distribute-lft-neg-in
1088×add-cbrt-cube
927×prod-exp
866×flip-- flip3--
860×associate-*r/
833×associate-*l/
757×pow1
756×div-inv
740×sqrt-div
652×neg-mul-1
650×cbrt-prod
604×associate-/r/
584×associate-*l*
576×frac-sub
528×associate-*r*
503×add-log-exp
436×difference-of-squares
431×distribute-lft-out--
425×frac-times
420×div-exp
360×distribute-lft-out
355×unpow-prod-down
342×log1p-expm1-u expm1-log1p-u
319×associate-/l*
309×cbrt-unprod
308×associate-/r*
268×associate-+r+
240×fma-neg
211×pow-unpow
209×associate-/l/
199×distribute-rgt-in distribute-lft-in
196×pow-exp
194×flip-+ flip3-+
186×exp-prod
181×unswap-sqr
178×cbrt-undiv
168×pow-prod-down
164×pow-to-exp
161×distribute-neg-in
156×unpow-prod-up
135×swap-sqr
120×fma-def
114×log-pow
97×sqr-pow
89×*-commutative
86×sub-neg
83×associate--r+
79×pow1/3
76×cbrt-div
70×associate-+l+
68×1-exp
63×clear-num frac-2neg
62×rec-exp
55×sqrt-pow1
51×pow1/2
50×log-prod
47×neg-sub0
42×fma-udef
41×diff-log
40×sum-log
34×cube-prod
33×exp-sum
32×pow-pow
31×tan-quot
29×rem-sqrt-square
27×div-sub
25×sin-mult
21×+-commutative pow-prod-up
20×pow-neg distribute-frac-neg
19×pow-sqr
18×pow-sub neg-log
17×cos-mult
16×rem-exp-log
15×associate--l+
13×sub-div associate-+l- distribute-neg-frac
12×unpow3 cube-mult
11×rem-cube-cbrt associate--l-
10×pow2
9×cube-div pow-plus pow-flip
8×un-div-inv log-div
7×rem-log-exp
6×exp-diff sqrt-unprod inv-pow
5×associate-+r- frac-add
4×exp-neg
3×distribute-rgt-out-- rem-cbrt-cube
2×e-exp-1 rem-square-sqrt cos-sum tan-sum log-rec
1×sqrt-pow2 distribute-lft-neg-out

regimes6.7s (0.8%)

Accuracy

Total 30.8b remaining (24%)

Threshold costs 3.6b (2.8%)

7.3b-5.8%Linear.Matrix:det33 from linear-1.19.1.3
4.8b83.5%NMSE problem 3.2.1
2.6b28.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.3b36.1%fabs fraction 1
2.3b59%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

localize2.5s (0.3%)

bsearch2.1s (0.3%)

end1.0ms (0.0%)