Details

series11.0m (52.2%)

Calls

349 calls:

1.5m
(* (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
4.8s
(* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))
1.3s
(cbrt (* (/ (* (cbrt (- y z)) (cbrt (- y z))) 1) (* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))))
1.2s
(cbrt (* (/ (* (cbrt (- y z)) (cbrt (- y z))) 1) (* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))))
1.2s
(cbrt (* (/ (* (cbrt (- y z)) (cbrt (- y z))) 1) (* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))))

simplify4.3m (20.5%)

sample2.8m (13.4%)

Algorithm
59×intervals
Results
1.3m323474×body80valid
23.2s205527×body80nan
19.9s21375×body1280valid
8.4s11091×body640valid
5.0s5212×body2560valid
2.1s5195×body320valid
1.0s2513×body160valid
890.0ms16512×pre80true
556.0ms204×body5120valid

prune1.7m (8.2%)

regimes37.6s (3.0%)

Accuracy

Total 42.3b remaining (27.5%)

Threshold costs 3.5b (2.2%)

11.3b-3.7%Linear.Matrix:det44 from linear-1.19.1.3
6.1b31.9%Linear.Matrix:det33 from linear-1.19.1.3
4.5b82.7%NMSE problem 3.2.1
4.4b84.4%The quadratic formula (r1)
3.6b32.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite23.2s (1.8%)

Algorithm
103×rewrite-expression-head
Calls

351 calls:

949.0ms
(* (* (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
780.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)
768.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)
765.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))))) (* (cbrt y) (cbrt y)))
762.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)
Rules
7169×times-frac
5695×*-un-lft-identity
4921×add-sqr-sqrt
4049×add-exp-log
3725×add-cube-cbrt
2714×prod-exp
1973×cbrt-prod
1398×add-cbrt-cube
1090×distribute-rgt-neg-in
1017×distribute-lft-neg-in
830×pow1
721×associate-*l*
716×associate-*r*
575×div-exp
573×pow-exp pow-to-exp
550×add-log-exp
538×cbrt-unprod
520×distribute-lft-out--
424×div-inv
421×difference-of-squares
414×cbrt-div
382×distribute-lft-out
367×flip3-- flip--
361×associate-/l*
342×frac-times
330×associate-*r/
325×swap-sqr
299×associate-/r*
285×neg-mul-1
256×cbrt-undiv
238×associate-*l/
213×pow-prod-down
171×flip-+ flip3-+
166×exp-prod
161×sqrt-prod
149×unswap-sqr
131×sub-neg
122×associate-/r/
113×frac-sub
110×distribute-rgt-in *-commutative associate-/l/ distribute-lft-in
105×pow1/3
94×exp-diff
86×log-pow
82×sqrt-div
80×unpow-prod-down
68×diff-log
64×frac-2neg clear-num
48×log-prod
43×sqrt-pow1
42×sum-log
41×associate-+r+
35×tan-quot
34×sqr-pow
31×1-exp
29×associate--l+
28×exp-sum pow1/2 pow-prod-up
25×frac-add
24×rem-sqrt-square
23×associate-+l+
21×pow-plus rem-exp-log
20×cos-mult +-commutative
19×rec-exp sin-mult
18×div-sub pow-sqr
16×neg-sub0 distribute-frac-neg distribute-neg-frac
13×pow2
12×sub-div associate--r+
11×associate-+l-
10×log-div
7×pow-unpow
6×associate--l-
4×associate-+r- neg-log
3×pow-flip pow3 pow-pow inv-pow exp-neg
2×tan-sum cos-sum
1×distribute-lft-neg-out distribute-rgt-neg-out log-rec sqrt-unprod un-div-inv unpow1/3 sqr-neg rem-cbrt-cube rem-log-exp

localize8.0s (0.6%)

bsearch4.4s (0.4%)

end1.0ms (0.0%)