Details

series10.9m (82.6%)

Calls

330 calls:

3.5s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a)))) (* b (fma (- a) i (* a i))))))
3.5s
(fma (- (* c t) (* i y)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
3.4s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
804.0ms
(* (cbrt (fma (log t) (- a 0.5) (- (+ (log (+ x y)) (log z)) t))) (cbrt (fma (log t) (- a 0.5) (- (+ (log (+ x y)) (log z)) t))))
740.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))))

sample54.3s (6.9%)

Algorithm
59×intervals
Results
11.2s263918×body80valid
8.5s21441×body1280valid
7.9s210524×body80nan
3.2s10886×body640valid
2.4s5305×body2560valid
926.0ms5170×body320valid
444.0ms16512×pre80true
324.0ms2530×body160valid
48.0ms203×body5120valid

prune50.9s (6.4%)

rewrite12.5s (1.6%)

Algorithm
100×rewrite-expression-head
Calls

332 calls:

635.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))))
499.0ms
(+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c))
492.0ms
(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (* 1 (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (fma (fma (fma (+ y a) y b) y c) y i)))
437.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)))))
325.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) 0) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
Rules
11207×times-frac
9082×*-un-lft-identity
7497×add-sqr-sqrt
6658×add-cube-cbrt
2753×prod-diff
2089×add-exp-log
1894×distribute-rgt-neg-in
1815×distribute-lft-neg-in
1231×add-cbrt-cube
1217×unpow-prod-down
927×prod-exp
877×associate-*l/ associate-*r/
826×distribute-lft-out
805×pow1
721×associate-/r*
641×flip-- flip3--
578×frac-sub
553×sqrt-prod
479×add-log-exp neg-mul-1
457×associate-*r*
447×cbrt-prod
433×div-exp
431×div-inv
428×frac-times
392×cbrt-unprod
375×distribute-lft-out--
368×exp-sum
367×fma-udef
365×associate-*l*
358×associate-/r/
332×log1p-expm1-u expm1-log1p-u
311×flip-+ flip3-+
308×associate-/l*
306×sqrt-div
283×difference-of-squares
271×fma-neg
227×associate-/l/
217×pow-prod-down
214×cbrt-undiv
211×distribute-neg-frac
182×fma-def
154×pow-exp
146×cube-prod
143×distribute-rgt-in distribute-lft-in
141×pow-to-exp
109×sqr-pow
98×unswap-sqr
94×*-commutative
85×sub-neg
82×tan-quot
77×associate--r+
69×clear-num frac-2neg
64×log-prod
59×1-exp
57×rec-exp
54×log-pow
48×associate-+r+ pow1/3 diff-log
40×cbrt-div
37×rem-sqrt-square
34×swap-sqr
31×sum-log sqrt-pow1
30×pow1/2 sin-mult
28×exp-prod
25×neg-sub0
23×associate-+l+ cos-mult
22×neg-log associate-+l-
18×+-commutative
16×pow-unpow distribute-rgt-out-- pow-flip
14×sub-div
12×div-sub associate--l- log-div
11×frac-add
10×inv-pow
8×rem-exp-log
7×pow-prod-up pow-sqr associate--l+
6×pow-pow unpow3 cube-mult
5×exp-diff rem-cube-cbrt pow-plus un-div-inv distribute-neg-in pow2
4×distribute-frac-neg
2×cube-div cos-sum tan-sum rem-cbrt-cube unpow2
1×exp-neg associate-+r- sqrt-unprod cube-neg rem-log-exp

simplify9.2s (1.2%)

Algorithm
158×egg-herbie

regimes7.2s (0.9%)

Accuracy

Total 28.8b remaining (23.3%)

Threshold costs 4.1b (3.3%)

7.3b-0.9%Linear.Matrix:det33 from linear-1.19.1.3
4.7b83.4%NMSE problem 3.2.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.8b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.7b0%fabs fraction 1

localize2.4s (0.3%)

bsearch987.0ms (0.1%)

end1.0ms (0.0%)