Details

series10.9m (83.6%)

Calls

324 calls:

3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (* j 27.0) (* (cbrt k) (cbrt k))) (cbrt k)))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* 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))))
2.0s
(fma (/ (* (+ (tan y) (tan z)) (fma (tan y) (tan z) 1)) (- (* 1 1) (* (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* (* (tan y) (tan z)) (* (tan y) (tan z)))))) (+ 1 (* (* (tan y) (tan z)) (* (tan y) (tan z)))) (- (tan a)))

sample55.4s (7.1%)

Algorithm
59×intervals
Results
11.7s263007×body80valid
8.7s21167×body1280valid
8.0s206976×body80nan
3.1s10935×body640valid
2.4s5178×body2560valid
945.0ms5113×body320valid
411.0ms16512×pre80true
327.0ms2552×body160valid
63.0ms254×body5120valid

prune42.4s (5.4%)

rewrite12.3s (1.6%)

Algorithm
99×rewrite-expression-head
Calls

327 calls:

883.0ms
(* (+ (* (* (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))
625.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))))
537.0ms
(* (pow cos (/ 2.0 2)) (* (* (pow cos (/ 2.0 2)) (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2)))) x))
504.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)))
430.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)))))
Rules
3982×*-un-lft-identity
3899×times-frac
3833×add-sqr-sqrt
3135×add-exp-log
3004×add-cube-cbrt
2147×prod-exp
1091×add-cbrt-cube
918×pow1
887×prod-diff
881×associate-*r/
862×associate-*l/
751×associate-*r*
657×flip-- flip3--
563×frac-sub
487×pow-exp
478×pow-to-exp
468×frac-times
463×distribute-rgt-neg-in
455×add-log-exp
405×cbrt-prod
404×distribute-lft-neg-in
402×associate-*l*
370×div-exp
365×cbrt-unprod
332×sqrt-prod
330×log1p-expm1-u
327×expm1-log1p-u
311×distribute-lft-out--
307×associate-/r*
298×unpow-prod-down
296×sqrt-div
273×difference-of-squares
261×associate-/l*
231×div-inv
227×pow-prod-down
225×distribute-lft-out
207×associate-/l/
185×flip-+ flip3-+
175×fma-neg
170×distribute-rgt-in distribute-lft-in
150×cbrt-undiv
149×tan-quot
132×unswap-sqr
130×neg-mul-1
118×exp-sum
103×associate-/r/
101×fma-udef
95×*-commutative
91×log-pow
87×associate--r+
85×fma-def
79×sub-neg
73×associate-+r+ log-prod
72×pow1/3
59×clear-num frac-2neg
54×sqr-pow swap-sqr
49×cbrt-div
46×diff-log 1-exp
37×rec-exp
34×sqrt-pow1
31×associate-+l+
29×rem-sqrt-square
28×pow1/2
26×pow-sqr sum-log pow-prod-up
24×exp-prod
23×associate--l+
20×sin-mult
19×neg-sub0
18×log-div
17×neg-log
16×associate-+l-
15×pow-flip pow-plus
14×cos-mult associate--l-
12×+-commutative div-sub
11×pow2
10×inv-pow
9×sub-div
8×distribute-neg-frac
7×rem-exp-log pow-unpow
5×exp-diff un-div-inv frac-add distribute-neg-in
3×pow-pow log1p-udef associate-+r- log1p-expm1 expm1-log1p distribute-frac-neg distribute-rgt-out-- expm1-udef
2×associate--r- tan-sum cos-sum rem-log-exp
1×sqrt-unprod distribute-lft-neg-out exp-neg unsub-neg

simplify8.5s (1.1%)

Algorithm
157×egg-herbie

regimes6.5s (0.8%)

Accuracy

Total 31.2b remaining (24.1%)

Threshold costs 4.0b (3.1%)

7.4b5.2%Linear.Matrix:det33 from linear-1.19.1.3
4.3b84.6%NMSE problem 3.2.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.6b26.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.0b-1.8%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

localize2.2s (0.3%)

bsearch1.2s (0.1%)

end1.0ms (0.0%)