Details

series10.9m (82.7%)

Calls

332 calls:

3.5s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
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)))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
944.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))))

sample56.0s (7.1%)

Algorithm
59×intervals
Results
12.0s263048×body80valid
8.8s21441×body1280valid
8.0s206853×body80nan
3.1s10948×body640valid
2.5s5408×body2560valid
946.0ms5068×body320valid
484.0ms16512×pre80true
331.0ms2526×body160valid
55.0ms213×body5120valid

prune48.3s (6.1%)

rewrite12.3s (1.5%)

Algorithm
100×rewrite-expression-head
Calls

334 calls:

653.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))))
448.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)))))
370.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
339.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
293.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
Rules
9620×times-frac
6719×*-un-lft-identity
6247×add-sqr-sqrt
5464×add-cube-cbrt
2001×add-exp-log
1548×cbrt-prod
1427×unpow-prod-down
1097×add-cbrt-cube
1087×prod-diff
870×associate-*r/ prod-exp
859×associate-*l/
809×pow1
796×distribute-rgt-neg-in
764×distribute-lft-neg-in
727×flip3-- flip--
609×cube-prod
590×frac-sub
528×associate-*l*
501×div-inv
495×associate-*r*
471×add-log-exp
460×div-exp
450×frac-times
447×associate-/l*
376×distribute-lft-out
335×log1p-expm1-u expm1-log1p-u
325×associate-/r*
318×sqrt-div
304×difference-of-squares
299×cbrt-unprod
298×fma-udef
294×distribute-rgt-in distribute-lft-in
280×exp-sum
274×distribute-lft-out--
273×associate--r+
251×sqrt-prod
247×neg-mul-1
224×associate-/l/ associate-/r/
223×associate-+r+
214×flip-+ flip3-+
197×fma-neg
191×cbrt-undiv
178×pow-prod-down
174×pow-exp
152×cbrt-div
144×pow-to-exp
104×unswap-sqr
101×sqr-pow
98×log-prod
97×fma-def
91×*-commutative
88×1-exp
86×sub-neg
75×log-pow
68×clear-num frac-2neg
67×rec-exp
49×diff-log
39×pow1/3
36×pow1/2 sqrt-pow1
34×rem-sqrt-square
33×tan-quot
32×exp-prod
30×swap-sqr
27×unpow3 cube-mult
26×pow-unpow sum-log sin-mult
21×cos-mult
20×neg-sub0 associate--l+
17×associate-+l+
16×+-commutative div-sub neg-log associate-+l-
13×pow-flip log-div
12×cube-div pow-sqr pow-prod-up
11×pow-pow inv-pow associate--l-
10×distribute-neg-in
9×rem-exp-log sub-div
8×pow-plus distribute-neg-frac
6×rem-cube-cbrt pow2 frac-add
5×distribute-frac-neg rem-log-exp
4×exp-diff un-div-inv
3×associate-+r- expm1-udef
2×log1p-udef cos-sum exp-neg log1p-expm1 expm1-log1p tan-sum rem-cbrt-cube
1×associate--r- sqrt-unprod log-rec

simplify8.8s (1.1%)

regimes7.1s (0.9%)

Accuracy

Total 32.9b remaining (25.2%)

Threshold costs 4.4b (3.4%)

8.5b-5.7%Linear.Matrix:det33 from linear-1.19.1.3
5.3b81.3%NMSE problem 3.2.1
3.6b86.6%The quadratic formula (r1)
2.9b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.4b32.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

localize2.3s (0.3%)

bsearch1.8s (0.2%)

end1.0ms (0.0%)