Details

sample1.3m (36.1%)

Algorithm
60×intervals
Results
23.2s334253×body80valid
8.7s21502×body1280valid
8.1s207407×body80nan
3.1s10978×body640valid
2.4s5336×body2560valid
949.0ms4953×body320valid
424.0ms16512×pre80true
325.0ms2478×body160valid
60.0ms232×body5120valid

prune45.1s (21.7%)

series39.3s (18.9%)

Calls

355 calls:

647.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))))
543.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)))))
515.0ms
(* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))
487.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (+ (log (sqrt t)) (log (sqrt (sqrt t)))))))
479.0ms
(* (/ 1 (- (/ (+ t 1.0) (- y z)) (/ z (- y z)))) (- a x))

rewrite22.4s (10.8%)

Algorithm
104×rewrite-expression-head
Calls

355 calls:

2.6s
(* (* (* x (/ (pow (sqrt (/ 1 a)) 1.0) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (/ (pow (sqrt (/ 1 a)) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
1.4s
(* t (- (* (* (* (* x 18.0) (* (cbrt y) (cbrt y))) (cbrt y)) z) (* a 4.0)))
787.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
774.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (- a 0.5) (log (sqrt t))))
619.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))))
Rules
4526×*-un-lft-identity
4024×add-exp-log
3886×add-sqr-sqrt
3625×times-frac
2519×prod-exp
2405×add-cube-cbrt
1358×add-cbrt-cube
928×associate-*r/
880×associate-*l/
875×associate-*l*
847×pow1
833×associate-*r*
792×flip3-- flip--
746×div-exp
672×distribute-lft-out--
584×frac-sub
543×add-log-exp
539×pow-exp
515×pow-to-exp
508×difference-of-squares
504×cbrt-prod
483×frac-times
476×distribute-rgt-neg-in
447×cbrt-unprod
415×distribute-lft-neg-in
382×distribute-lft-out
342×associate-/r*
340×unpow-prod-down
293×sqrt-div
271×associate-/l*
232×flip-+ flip3-+
229×cbrt-undiv
217×associate-/l/
209×sqrt-prod
203×pow-prod-down
193×unswap-sqr
191×associate-/r/
179×div-inv
173×swap-sqr
167×distribute-rgt-in distribute-lft-in log-prod
147×cube-prod
131×*-commutative
130×cbrt-div sub-neg
109×log-pow
106×neg-mul-1
91×1-exp
85×rec-exp
72×pow1/3
69×clear-num frac-2neg
58×sum-log
57×sqrt-pow1
54×associate-+r+ sqr-pow
52×diff-log
51×exp-sum
49×pow-unpow
47×pow1/2
37×frac-add
30×exp-prod sin-mult cos-mult
28×associate-+l+
26×+-commutative
24×rem-sqrt-square
21×distribute-rgt-out-- neg-sub0
20×associate--r+
18×associate-+l-
17×pow-flip distribute-rgt-out
16×inv-pow
15×tan-quot neg-log
14×sub-div associate--l+
12×un-div-inv div-sub log-div
10×unpow2 distribute-frac-neg associate--l-
9×cube-div pow-pow
8×rem-exp-log pow-sqr distribute-neg-frac pow-prod-up
7×distribute-lft-neg-out log-rec
6×distribute-rgt-neg-out
5×unpow3 pow-plus pow2 cube-mult
4×associate-+r- distribute-rgt1-in distribute-neg-in
3×exp-diff rem-cube-cbrt rem-cbrt-cube rem-log-exp
2×cos-sum exp-lft-sqr unpow-prod-up tan-sum
1×e-exp-1 sqrt-unprod exp-neg pow-sub sqr-neg cube-neg pow-neg exp-to-pow

regimes11.7s (5.6%)

Accuracy

Total 33.5b remaining (22.1%)

Threshold costs 5.1b (3.3%)

9.5b-4.3%Linear.Matrix:det44 from linear-1.19.1.3
4.1b-8%Linear.Matrix:det33 from linear-1.19.1.3
3.1b48.4%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.2b19.1%cos(2*x)/(cos^2(x)*sin^2(x))
1.9b88.4%jeff quadratic root 2

simplify8.2s (4.0%)

Algorithm
164×egg-herbie

bsearch3.5s (1.7%)

localize2.6s (1.2%)

end0.0ms (0.0%)