Details

series2.3m (46.7%)

Calls

342 calls:

1.7m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
490.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
454.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y))) (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y))) i))
376.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
349.0ms
(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (* (cbrt (* (log (/ 1 a)) t)) (cbrt (* (log (/ 1 a)) t))) (cbrt (* (log (/ 1 a)) t))) b))))) y)

sample1.2m (24.9%)

Algorithm
60×intervals
Results
23.6s337061×body80valid
8.5s21350×body1280valid
8.1s207846×body80nan
3.1s11231×body640valid
2.4s5251×body2560valid
947.0ms5072×body320valid
387.0ms16512×pre80true
308.0ms2486×body160valid
58.0ms224×body5120valid

prune40.1s (13.5%)

rewrite16.8s (5.6%)

Algorithm
100×rewrite-expression-head
Calls

342 calls:

2.1s
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (* (cbrt (* (log (/ 1 a)) t)) (cbrt (* (log (/ 1 a)) t))) (cbrt (* (log (/ 1 a)) t))) b))))) (/ 1 y))
742.0ms
(* t (- (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* 18.0 y))) z) (* a 4.0)))
527.0ms
(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (* (cbrt (* (log (/ 1 a)) t)) (cbrt (* (log (/ 1 a)) t))) (cbrt (* (log (/ 1 a)) t))) b))))) y)
443.0ms
(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
427.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))
Rules
3726×*-un-lft-identity
3717×times-frac
3567×add-sqr-sqrt
2537×add-cube-cbrt
2205×add-exp-log
1148×add-cbrt-cube
957×prod-exp
722×associate-*r*
715×pow1
630×cbrt-prod
571×div-exp
566×add-log-exp distribute-rgt-neg-in
531×distribute-lft-neg-in
473×unpow-prod-down
419×associate-*l*
369×distribute-lft-out--
345×flip-- difference-of-squares flip3--
339×cbrt-unprod
332×cube-prod
324×log-pow
301×associate-/l*
300×exp-prod
280×associate-/r*
257×associate-*r/
255×distribute-lft-out
244×frac-times
209×cbrt-undiv
182×cbrt-div
180×associate-*l/ div-inv
173×pow-prod-down pow-exp
165×frac-sub
157×neg-mul-1 unswap-sqr
143×sqrt-prod
140×distribute-rgt-in distribute-lft-in
138×flip-+ flip3-+
137×pow-to-exp
130×associate-/r/
129×log-prod
128×1-exp
118×sub-neg
107×*-commutative
83×pow1/3 rec-exp
77×sum-log
67×frac-add
62×clear-num frac-2neg
52×diff-log associate-+l+
48×associate-/l/
45×sqr-pow
44×associate-+r+ sqrt-div
34×tan-quot
32×+-commutative
30×exp-sum
29×sin-mult
24×associate--r+
23×neg-sub0
21×cos-mult associate-+l-
20×pow1/2 sqrt-pow1
19×pow-unpow neg-log
18×rem-sqrt-square
15×unpow2 swap-sqr associate--l+
13×sub-div
11×distribute-neg-frac
10×pow-pow un-div-inv distribute-lft-neg-out div-sub
9×distribute-frac-neg log-div
8×inv-pow pow-flip associate--l-
7×unpow3 cube-mult
6×cube-div rem-cube-cbrt
5×pow-sqr pow-prod-up
4×rem-exp-log associate-+r- unsub-neg cube-neg rem-log-exp
3×pow2 distribute-rgt-out-- pow-plus log-rec
2×cos-sum exp-diff exp-neg tan-sum rem-cbrt-cube distribute-rgt-neg-out
1×sqrt-unprod exp-to-pow

regimes13.8s (4.6%)

Accuracy

Total 38.8b remaining (24.9%)

Threshold costs 3.7b (2.4%)

13.4b-22.6%Linear.Matrix:det44 from linear-1.19.1.3
4.6b24.7%Linear.Matrix:det33 from linear-1.19.1.3
4.5b81.5%NMSE problem 3.2.1
2.0b43.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
1.9b20.2%cos(2*x)/(cos^2(x)*sin^2(x))

simplify7.9s (2.6%)

Algorithm
160×egg-herbie

bsearch3.5s (1.2%)

localize2.5s (0.8%)

end1.0ms (0.0%)