Details

series10.8m (82.4%)

Calls

338 calls:

3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k))))))
3.0s
(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)))))
1.1s
(/ (+ (* (- (* t (- b c))) (fma (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0)) (- (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))) (* z (* (sqrt (+ t a)) (+ a (+ (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))) (* (+ a (+ (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) t))
699.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a))))))

sample1.2m (8.8%)

Algorithm
59×intervals
Results
22.6s263073×body80valid
13.8s209657×body80nan
9.0s21325×body1280valid
3.3s10992×body640valid
3.3s5363×body2560valid
1.1s5082×body320valid
763.0ms16512×pre80true
403.0ms2529×body160valid
100.0ms224×body5120valid

prune41.6s (5.3%)

simplify8.9s (1.1%)

Algorithm
159×egg-herbie

regimes7.6s (1.0%)

Accuracy

Total 29.5b remaining (23.6%)

Threshold costs 3.2b (2.5%)

7.3b-2.7%Linear.Matrix:det33 from linear-1.19.1.3
3.9b85.3%NMSE problem 3.2.1
2.5b49%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.0b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

rewrite7.1s (0.9%)

Algorithm
101×rewrite-expression-head
Calls

341 calls:

771.0ms
(* (* x (* (/ (* (cbrt (pow (/ 1 a) 1.0)) (cbrt (pow (/ 1 a) 1.0))) (* (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) (/ (cbrt (pow (/ 1 a) 1.0)) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))))) (/ 1 y))
262.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
253.0ms
(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))))
241.0ms
(/ (* 2.0 c) (+ (- b) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b)))
216.0ms
(+ (/ (- a x) (/ (- (+ t 1.0) z) (- y z))) x)
Rules
8508×times-frac
7717×*-un-lft-identity
6758×add-sqr-sqrt
5181×add-cube-cbrt
3281×add-exp-log
2087×prod-exp
1509×cbrt-prod
1203×prod-diff
1177×add-cbrt-cube
988×sqrt-prod
881×unpow-prod-down
833×distribute-rgt-neg-in
788×distribute-lft-neg-in
756×distribute-lft-out--
745×pow1
636×difference-of-squares
545×cube-prod
544×distribute-lft-out
539×div-exp
524×associate-/r*
520×associate-*r*
507×associate-*l*
496×add-log-exp
464×pow-exp
440×pow-to-exp
410×associate-/l*
385×cbrt-unprod
383×div-inv
349×distribute-rgt-in distribute-lft-in
341×log1p-expm1-u expm1-log1p-u
293×fma-def
254×neg-mul-1
229×cbrt-undiv
202×flip3-- flip--
200×associate-/r/
194×log-prod
193×fma-neg
190×swap-sqr
156×associate--r+
154×associate-*r/
145×pow-prod-down
142×unswap-sqr
140×log-pow
131×associate-*l/
127×flip-+ flip3-+
125×associate-+r+
121×exp-sum
95×sqr-pow
94×sqrt-div
90×associate-+l+
87×exp-prod
85×associate-/l/
83×*-commutative
77×frac-2neg clear-num
74×sub-neg
70×pow1/3
66×fma-udef
62×1-exp
59×frac-times
56×rec-exp
54×frac-add cbrt-div
53×diff-log
50×pow1/2 sqrt-pow1
44×frac-sub
41×distribute-neg-frac
35×rem-sqrt-square
33×tan-quot
32×sum-log
28×sin-mult
24×cos-mult unpow2
20×+-commutative div-sub
19×pow-unpow
18×associate-+l-
17×unpow3 cube-mult neg-sub0 pow-prod-up
15×neg-log
14×log-div
13×pow-sqr
12×sub-div
10×pow-pow pow-flip associate--l+ associate--l-
9×inv-pow
7×rem-exp-log
6×pow2 pow-plus
5×exp-diff distribute-neg-in
3×cube-div un-div-inv distribute-lft-neg-out sqrt-unprod rem-log-exp
2×rem-cube-cbrt associate-+r- rem-square-sqrt distribute-frac-neg cos-sum tan-sum
1×unpow1/3 exp-neg rem-cbrt-cube exp-to-pow

localize2.5s (0.3%)

bsearch1.1s (0.1%)

end1.0ms (0.0%)