Details

sample1.1m (33.9%)

Algorithm
60×intervals
Results
23.7s335414×body80valid
9.0s21461×body1280valid
8.3s208266×body80nan
3.3s10977×body640valid
2.4s5213×body2560valid
1.0s5211×body320valid
404.0ms16512×pre80true
336.0ms2534×body160valid
62.0ms231×body5120valid

series48.3s (24.0%)

Calls

363 calls:

3.3s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
787.0ms
(pow (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a)))))) 3)
683.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
681.0ms
(+ (* (* a b) (- (* a b) (+ (* x y) (* z t)))) (* (+ (* x y) (* z t)) (+ (* x y) (* z t))))
673.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))

prune48.1s (23.9%)

regimes13.4s (6.6%)

Accuracy

Total 39.2b remaining (25.4%)

Threshold costs 4.3b (2.8%)

12.4b-16.9%Linear.Matrix:det44 from linear-1.19.1.3
4.8b-29.2%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
4.0b-1.2%Linear.Matrix:det33 from linear-1.19.1.3
3.5b87.8%The quadratic formula (r1)
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite9.7s (4.8%)

Algorithm
106×rewrite-expression-head
Calls

363 calls:

521.0ms
(/ (* (* x (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
403.0ms
(* (- y z) (- (/ a (- (+ t 1.0) z)) (/ x (- (+ t 1.0) z))))
398.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
289.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
240.0ms
(* (/ x (* (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (cbrt z))) (/ y (cbrt z)))
Rules
4690×times-frac
4488×add-sqr-sqrt
4414×*-un-lft-identity
2942×add-cube-cbrt
2242×add-exp-log
1310×add-cbrt-cube
1023×prod-exp
1017×associate-*r/
978×associate-*l/
969×pow1
945×associate-*r*
907×flip3-- flip--
648×frac-times
612×add-log-exp
596×frac-sub
561×associate-*l*
557×difference-of-squares
538×distribute-lft-out--
442×div-exp
420×associate-/r*
416×cbrt-prod cbrt-unprod
368×associate-/l*
354×sqrt-prod
330×sqrt-div
301×pow-prod-down
262×flip-+ flip3-+
255×cbrt-div
246×div-inv
239×distribute-lft-out
231×cbrt-undiv
230×associate-/l/
221×distribute-rgt-neg-in
208×unswap-sqr
202×distribute-rgt-in distribute-lft-in
200×unpow-prod-down
198×pow-exp
177×pow-to-exp
176×log-prod
175×exp-prod
173×distribute-lft-neg-in
162×associate-/r/
155×sub-neg
129×*-commutative
103×log-pow
95×sqrt-pow1
74×frac-2neg clear-num
72×diff-log
69×frac-add pow1/3
68×sum-log
67×tan-quot
63×exp-sum
58×pow1/2 associate-+l+
55×sqr-pow
48×neg-mul-1
46×associate-+r+ swap-sqr 1-exp
40×rec-exp
38×pow-unpow
34×sin-mult
29×+-commutative pow-prod-up
28×cos-mult
24×neg-sub0 associate--l+
23×pow-sqr
22×sub-div
21×rem-sqrt-square
20×pow-pow unpow2 associate--r+
19×div-sub associate-+l-
17×pow-flip neg-log
12×rem-exp-log inv-pow distribute-neg-frac associate--l-
10×pow-plus unpow-prod-up log-div
9×pow2
8×log-rec
7×exp-diff pow-sub
6×associate-+r- distribute-rgt-out-- distribute-frac-neg cube-prod
5×un-div-inv distribute-lft-neg-out sum-cubes sqrt-unprod
4×cube-div exp-neg distribute-neg-in
3×distribute-rgt-neg-out
2×cos-sum unpow3 cube-mult tan-sum rem-log-exp
1×rem-cube-cbrt pow-neg unsub-neg rem-square-sqrt distribute-rgt-out rem-cbrt-cube exp-to-pow

simplify8.5s (4.2%)

Algorithm
166×egg-herbie

localize2.7s (1.3%)

bsearch2.3s (1.2%)

end0.0ms (0.0%)