Details

series10.7m (73.2%)

Calls

354 calls:

2.6s
(/ (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3)) (+ (* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b)))) (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b)))))
591.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
559.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
510.0ms
(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))
507.0ms
(cbrt (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))

sample2.2m (15.2%)

Algorithm
59×intervals
Results
57.9s321779×body80valid
17.6s206227×body80nan
15.7s21574×body1280valid
5.7s10946×body640valid
4.9s5402×body2560valid
1.5s5141×body320valid
697.0ms16512×pre80true
616.0ms2453×body160valid
101.0ms192×body5120valid

prune48.6s (5.5%)

rewrite22.6s (2.6%)

Algorithm
104×rewrite-expression-head
Calls

356 calls:

2.8s
(* t (- (* (* (* (* (* x 18.0) y) (cbrt z)) (cbrt z)) (cbrt z)) (* a 4.0)))
1.0s
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (* (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))))
952.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)))
816.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5)))
696.0ms
(* (* (* (* (* x 18.0) y) (cbrt z)) (cbrt z)) (cbrt z))
Rules
8873×times-frac
7385×*-un-lft-identity
6831×add-sqr-sqrt
4563×add-cube-cbrt
3202×add-exp-log
2012×prod-exp
1220×add-cbrt-cube
1126×distribute-lft-out--
947×difference-of-squares
895×pow1
837×distribute-rgt-neg-in
803×sqrt-prod
767×distribute-lft-neg-in
635×associate-*r*
589×associate-*l*
571×cbrt-prod
549×associate-/r*
548×add-log-exp
482×div-exp
466×pow-exp
446×pow-to-exp
407×flip3-- flip--
398×cbrt-unprod
395×distribute-lft-out
359×unpow-prod-down
358×exp-prod
348×associate-/l*
299×div-inv
291×associate-*r/
256×log-pow
252×pow-prod-down
245×frac-times
239×associate-/r/
229×neg-mul-1
214×cube-prod
186×cbrt-undiv
177×frac-sub
174×associate-*l/
173×unswap-sqr
141×sub-neg
130×distribute-rgt-in distribute-lft-in
125×flip-+ flip3-+
123×*-commutative
108×cbrt-div
102×tan-quot
101×log-prod
80×sqrt-div
68×associate-/l/
66×pow1/3
64×clear-num frac-2neg
61×sqr-pow
58×frac-add
55×diff-log
52×sum-log
42×rec-exp 1-exp
39×pow-pow pow-unpow
38×pow1/2 swap-sqr sqrt-pow1
37×associate-+r+
32×rem-sqrt-square
29×associate-+l+
27×unpow2
24×associate--r+
23×+-commutative neg-sub0
21×sin-mult
18×div-sub exp-sum
16×rem-exp-log neg-log cos-mult
15×associate-+l-
14×log-div
12×pow-prod-up pow-sqr
11×sub-div associate--l+
10×inv-pow pow-flip associate--l-
9×exp-diff distribute-frac-neg
7×cube-div unpow3 pow2 cube-mult pow-plus
6×rem-cube-cbrt exp-neg distribute-neg-frac rem-log-exp
5×un-div-inv sum-cubes
4×distribute-neg-in log-rec
3×rem-cbrt-cube
2×cos-sum sqrt-unprod unpow-prod-up tan-sum cube-neg
1×exp-to-pow distribute-rgt-out-- pow-sub distribute-lft-neg-out distribute-rgt-neg-out pow-neg associate-+r-

regimes14.8s (1.7%)

Accuracy

Total 36.3b remaining (23.3%)

Threshold costs 4.2b (2.7%)

12.4b-13.5%Linear.Matrix:det44 from linear-1.19.1.3
3.9b1.6%Linear.Matrix:det33 from linear-1.19.1.3
3.0b89.6%NMSE problem 3.2.1
2.3b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.1b37.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

simplify8.0s (0.9%)

bsearch4.2s (0.5%)

localize3.3s (0.4%)

end1.0ms (0.0%)