Details

sample3.6m (39.9%)

Algorithm
60×intervals
Results
1.7m335598×body80valid
34.8s208318×body80nan
27.3s21188×body1280valid
12.1s11172×body640valid
6.8s5327×body2560valid
4.2s5132×body320valid
1.2s16512×pre80true
1.1s2512×body160valid
215.0ms237×body5120valid

simplify2.3m (25.0%)

prune1.4m (15.8%)

series51.5s (9.5%)

Calls

339 calls:

807.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0)))))))
689.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
676.0ms
(/ (- (+ f n)) (- f n))
667.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
660.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

regimes26.3s (4.8%)

Accuracy

Total 46.6b remaining (29.8%)

Threshold costs 3.6b (2.3%)

13.1b-36.2%Linear.Matrix:det44 from linear-1.19.1.3
5.6b6.9%Linear.Matrix:det33 from linear-1.19.1.3
4.4b83.9%The quadratic formula (r1)
3.4b87.2%NMSE problem 3.2.1
3.4b24.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite16.0s (3.0%)

Algorithm
101×rewrite-expression-head
Calls

339 calls:

1.1s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
794.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
562.0ms
(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
344.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
343.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)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
Rules
5533×times-frac
4385×*-un-lft-identity
4278×add-sqr-sqrt
3166×add-cube-cbrt
1922×add-exp-log
1494×add-cbrt-cube
977×pow1
649×prod-exp
643×cbrt-prod
572×add-log-exp
538×cbrt-unprod
523×associate-*r*
481×div-exp
467×associate-*r/
458×associate-/l*
444×associate-*l*
408×distribute-lft-out--
377×difference-of-squares
368×associate-/r*
364×flip3-- flip--
345×cbrt-undiv
339×insert-posit16
319×pow-prod-down
311×cbrt-div
305×frac-times
296×distribute-rgt-neg-in
274×div-inv
269×distribute-lft-neg-in
261×frac-sub
240×distribute-lft-out
227×flip-+ flip3-+
216×associate-/r/
207×sqrt-prod
188×associate-*l/
152×unswap-sqr
131×sub-neg
123×exp-prod
112×distribute-rgt-in distribute-lft-in
103×*-commutative
98×log-pow
84×pow1/3 neg-mul-1
79×diff-log
78×frac-add
70×log-prod
65×frac-2neg clear-num
60×1-exp
55×associate-/l/
54×sqrt-div
52×sum-log
50×rec-exp
49×unpow-prod-down
46×associate-+r+
41×sin-mult
34×associate--r+ rem-exp-log
33×cos-mult exp-sum
26×sqrt-pow1 div-sub
25×exp-diff pow1/2
24×swap-sqr
23×associate--l+ sqr-pow pow-prod-up pow-sqr
22×rem-sqrt-square
21×associate-+l+ +-commutative
20×unpow2 tan-quot
19×associate-+l-
18×sub-div
15×neg-sub0
14×log-div
12×pow-unpow
11×neg-log
10×pow-flip pow-plus
9×associate--l- inv-pow
7×cos-2
6×pow2
5×pow-exp distribute-frac-neg
4×pow-to-exp pow-pow un-div-inv distribute-neg-frac distribute-rgt-out--
3×unpow-prod-up associate-+r-
2×difference-of-sqr-1 tan-sum exp-to-pow exp-neg associate--r- cos-sum rem-log-exp
1×distribute-lft-neg-out pow3 log-rec sqrt-unprod unpow1/3 remove-posit16 rem-cbrt-cube e-exp-1 pow-sub

localize6.0s (1.1%)

bsearch5.1s (0.9%)

end1.0ms (0.0%)