Details

series2.5m (38.6%)

Calls

360 calls:

1.8m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
872.0ms
(* (sqrt (+ (sqrt x) (sqrt 1.0))) (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x)))
700.0ms
(/ (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))) (- (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
481.0ms
(* (* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (sqrt 1) (cbrt (- (+ t 1.0) z)))) (- a x))
480.0ms
(* (* (* (cbrt (- y z)) (cbrt (- y z))) (/ (cbrt (- y z)) (- (+ t 1.0) z))) (- a x))

prune1.8m (27.4%)

sample1.4m (21.8%)

Algorithm
59×intervals
Results
29.5s262791×body80valid
18.6s208294×body80nan
11.2s21273×body1280valid
4.2s11026×body640valid
3.5s5254×body2560valid
1.4s5049×body320valid
949.0ms16512×pre80true
514.0ms2548×body160valid
114.0ms210×body5120valid

regimes14.6s (3.8%)

Accuracy

Total 28.0b remaining (21.9%)

Threshold costs 3.9b (3%)

4.4b83.5%The quadratic formula (r1)
3.8b0%Linear.Matrix:det33 from linear-1.19.1.3
2.9b88.7%NMSE problem 3.2.1
2.8b43.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.3b15.4%cos(2*x)/(cos^2(x)*sin^2(x))

simplify12.9s (3.3%)

Algorithm
166×egg-herbie

rewrite10.4s (2.7%)

Algorithm
107×rewrite-expression-head
Calls

360 calls:

391.0ms
(* (* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (sqrt 1) (cbrt (- (+ t 1.0) z)))) (- a x))
386.0ms
(/ (/ x (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ y (/ (pow (/ 1 a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))))
250.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
224.0ms
(/ (* (/ x (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ (pow (/ 1 a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
217.0ms
(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
Rules
44802×times-frac
19437×add-sqr-sqrt
19180×*-un-lft-identity
18299×add-cube-cbrt
10663×sqrt-prod
7491×unpow-prod-down
2474×exp-sum
2038×add-exp-log
1214×add-cbrt-cube
1202×div-inv
908×pow1
870×prod-exp
757×associate-/r*
740×associate-*r*
669×sqr-pow
576×associate-*l*
563×add-log-exp
522×cbrt-prod
422×div-exp
415×flip-- flip3--
360×cbrt-unprod
346×difference-of-squares
344×associate-/l*
320×frac-times
287×distribute-lft-out--
254×distribute-rgt-neg-in
244×associate-*l/
239×pow-prod-down
228×log-prod
220×associate-*r/
218×distribute-lft-neg-in
205×cbrt-undiv
201×distribute-rgt-in distribute-lft-in
196×cbrt-div exp-prod
193×unswap-sqr
187×frac-sub
172×pow-exp
169×distribute-lft-out
145×pow-to-exp associate-/r/
141×flip-+ flip3-+
136×log-pow
130×sub-neg
127×*-commutative
108×sqrt-div
87×pow1/3
78×swap-sqr
63×clear-num sum-log frac-2neg
61×neg-mul-1
59×associate-/l/
52×pow1/2 sqrt-pow1
51×diff-log
42×rec-exp 1-exp
39×rem-sqrt-square
37×associate-+r+
33×frac-add
30×tan-quot
27×distribute-neg-frac
25×+-commutative associate--r+
24×sin-mult
23×neg-sub0
19×pow-prod-up sub-div associate--l+
18×pow-sqr cos-mult associate-+l-
17×neg-log
16×pow-unpow inv-pow associate-+l+ pow-flip
15×pow-pow unpow2
14×log-div
13×rem-exp-log cube-prod
11×un-div-inv
10×pow-plus div-sub
9×cube-div pow2 log-rec
8×distribute-frac-neg associate--l-
7×rem-log-exp
6×exp-diff
5×sqrt-unprod distribute-rgt-neg-out
4×exp-neg associate-+r-
3×distribute-lft-neg-out exp-to-pow
2×cos-sum distribute-neg-in distribute-rgt-out-- unpow3 cube-mult distribute-rgt-out tan-sum rem-cbrt-cube
1×pow-div mul-1-neg

bsearch6.9s (1.8%)

localize2.7s (0.7%)

end1.0ms (0.0%)