Date:Saturday, February 29th, 2020
Commit:d0c22b93 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020060
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.1m (33.6%)

Algorithm
60×intervals
Results
21.7s321236×body80valid
8.7s21312×body1280valid
8.3s207585×body80nan
3.2s11165×body640valid
2.4s5321×body2560valid
984.0ms5167×body320valid
390.0ms16512×pre80true
345.0ms2660×body160valid
58.0ms230×body5120valid

prune48.5s (25.3%)

Filtered
12016 candidates to 7919 candidates (65.9%)

series39.2s (20.4%)

Calls

359 calls:

902.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (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) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
790.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
493.0ms
(+ (pow (+ (* a a) (* b b)) (* 2 2.0)) (- (* (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))))
485.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (/ (* (sin y) (tan z)) (cos y))) (cos a)))
484.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

regimes15.0s (7.8%)

Accuracy

Total 22.9b remaining (19%)

Threshold costs 2.6b (2.2%)

4.3b42.4%Linear.Matrix:det33 from linear-1.19.1.3
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.7b37.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.2b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.5b87.5%jeff quadratic root 2

rewrite9.9s (5.2%)

Algorithm
104×rewrite-expression-head
Calls

359 calls:

921.0ms
(* (- x) (* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (cbrt (/ 1 (- (+ t 1.0) z)))))
605.0ms
(* (* 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))))) y))
479.0ms
(/ (* (* 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)))))) y)
338.0ms
(/ 1 (* (sqrt (exp (/ (+ f n) (- f n)))) (sqrt (exp (/ (+ f n) (- f n))))))
326.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (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) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
Rules
4474×*-un-lft-identity
3938×times-frac
3797×add-sqr-sqrt
2687×add-cube-cbrt
2129×add-exp-log
1354×add-cbrt-cube
1314×associate-*r*
1056×associate-*r/
1055×associate-*l/
1052×pow1
1012×prod-exp
841×flip-- flip3--
806×sqrt-prod
724×sqrt-pow1
717×exp-prod
641×frac-sub
603×frac-times
568×add-log-exp
561×associate-*l*
490×cbrt-unprod
456×distribute-lft-out--
454×pow-prod-down
419×unpow-prod-down
387×distribute-lft-out
374×cbrt-prod
354×difference-of-squares
338×sqrt-div
314×div-exp
305×associate-/r*
280×flip-+ flip3-+
272×log-prod
239×distribute-rgt-neg-in
235×pow-flip
232×associate-/l*
227×associate-/l/ cbrt-div
221×distribute-lft-neg-in
215×distribute-rgt-in distribute-lft-in
196×unswap-sqr
192×cbrt-undiv
180×div-inv
158×pow-exp
154×associate-/r/
151×pow-to-exp
143×*-commutative
129×pow-prod-up
120×sub-neg
119×pow-sqr
89×exp-sum
86×frac-add log-pow
79×pow1/2
72×pow1/3
70×sum-log
66×sqr-pow
62×clear-num neg-mul-1 frac-2neg
57×associate-+r+
54×associate-+l+ diff-log
42×swap-sqr
41×tan-quot
35×pow-unpow
32×1-exp rec-exp
28×+-commutative
27×associate-+l-
26×rem-sqrt-square sin-mult
24×unpow2
23×associate--l+
21×neg-sub0
20×cos-mult associate--r+
17×inv-pow
16×div-sub neg-log
15×log-div
14×distribute-neg-frac
13×distribute-lft-neg-out
11×sub-div
10×pow-pow rem-exp-log distribute-neg-in distribute-rgt-out--
9×log-rec
8×pow2 pow-plus distribute-rgt-neg-out associate--l-
7×associate-+r-
6×un-div-inv sqrt-unprod rem-log-exp
5×exp-diff unsub-neg
4×unpow-prod-up cube-prod
2×pow-neg pow-sub rem-square-sqrt distribute-frac-neg tan-sum cos-sum exp-to-pow
1×unpow3 e-exp-1 exp-neg cube-mult +-inverses

simplify8.7s (4.5%)

Algorithm
164×egg-herbie

bsearch3.4s (1.8%)

localize2.7s (1.4%)

end0.0ms (0.0%)