Details

prune2.9m (49.4%)

sample1.7m (29.3%)

Algorithm
60×intervals
Results
46.7s339092×body80valid
15.2s208304×body80nan
11.7s21529×body1280valid
4.3s10904×body640valid
3.1s5262×body2560valid
1.4s5194×body320valid
1.4s16512×pre80true
484.0ms2483×body160valid
116.0ms236×body5120valid

regimes39.3s (11.0%)

Accuracy

Total 38.3b remaining (24.6%)

Threshold costs 2.8b (1.8%)

13.0b-19.4%Linear.Matrix:det44 from linear-1.19.1.3
4.8b82%The quadratic formula (r1)
4.3b-8.8%Linear.Matrix:det33 from linear-1.19.1.3
2.5b4.7%cos(2*x)/(cos^2(x)*sin^2(x))
1.6b73.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

series12.4s (3.5%)

Calls

349 calls:

778.0ms
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
600.0ms
(- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
446.0ms
(/ (- (* (* (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (cos a)) (+ 1 (* (tan y) (tan z)))) (* (* (cos y) (cos z)) (* (- (* 1 1) (* (* (tan y) (tan z)) (* (tan y) (tan z)))) (sin a)))) (* (* (cos y) (cos z)) (* (- 1 (* (* (tan y) (tan z)) (* (tan y) (tan z)))) (cos a))))
227.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
186.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite11.1s (3.1%)

Algorithm
102×rewrite-expression-head
Calls

349 calls:

1.9s
(* (* (* x (/ (sqrt (pow (/ 1 a) 1.0)) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (sqrt (pow (/ 1 a) 1.0)) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
806.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* a (* 4.0 t))) (* b c)) (* (* x 4.0) i))
673.0ms
(- (+ (- (* (* 18.0 (* x y)) (* z t)) (* a (* 4.0 t))) (* b c)) (* (* x 4.0) i))
436.0ms
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
365.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
Rules
3783×times-frac
3580×*-un-lft-identity
3554×add-exp-log
3541×add-sqr-sqrt
2551×add-cube-cbrt
2257×prod-exp
2020×associate-*l/
1513×add-cbrt-cube
1490×associate-*r/
1379×frac-times
1377×flip-- flip3--
1308×frac-sub
1169×pow1
794×associate-*r*
673×associate-*l*
592×cbrt-unprod
590×cbrt-prod
548×sqrt-div
539×add-log-exp
526×div-exp
459×pow-exp
451×distribute-rgt-neg-in
435×pow-to-exp
430×associate-/l/
416×distribute-lft-neg-in
381×pow-prod-down
374×flip-+ flip3-+
338×distribute-lft-out--
320×difference-of-squares
312×unpow-prod-down
294×associate-/r*
274×associate-/l*
239×cbrt-undiv
223×associate-/r/
209×sqrt-prod
205×distribute-lft-out
193×div-inv
178×cbrt-div
170×log-prod
164×distribute-rgt-in distribute-lft-in
155×unswap-sqr
143×exp-prod
142×cube-prod
130×*-commutative
128×log-pow
121×sub-neg
120×neg-mul-1
105×tan-quot
93×cos-mult
71×sin-mult
65×pow1/3
61×clear-num frac-2neg
58×sum-log
57×1-exp
52×diff-log
49×rec-exp
44×associate-+r+
38×sqr-pow
37×exp-sum
36×swap-sqr
34×pow-prod-up pow-sqr
30×pow1/2 associate--r+ sqrt-pow1
27×rem-sqrt-square
26×+-commutative
24×sub-div
22×pow-unpow
20×associate-+l-
19×neg-sub0
18×associate-+l+ pow-plus
17×frac-add pow-flip
15×inv-pow
14×div-sub associate--l+
12×neg-log log-div
11×pow2
10×pow-pow distribute-neg-frac
8×cube-div un-div-inv distribute-frac-neg associate--l- log-rec
6×rem-cube-cbrt unpow3 cube-mult distribute-rgt-neg-out
4×exp-diff rem-exp-log
3×distribute-lft-neg-out exp-neg
2×cos-sum associate--r- tan-sum rem-cbrt-cube rem-log-exp
1×unpow1/3 sqrt-unprod unpow1/2 cube-neg associate-+r-

simplify8.1s (2.3%)

Algorithm
162×egg-herbie

bsearch3.1s (0.9%)

localize2.1s (0.6%)

end0.0ms (0.0%)