Date:Friday, March 6th, 2020
Commit:044801c1 on master
Hostname:warfa with Racket 7.5
Seed:2020066
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 (35.1%)

Algorithm
60×intervals
Results
24.1s334074×body80valid
8.6s207251×body80nan
6.9s21003×body1280valid
2.6s11017×body640valid
2.6s5320×body2560valid
877.0ms5155×body320valid
404.0ms16512×pre80true
302.0ms2570×body160valid
62.0ms229×body5120valid

prune46.7s (24.7%)

Filtered
12318 candidates to 8046 candidates (65.3%)

series45.4s (24.0%)

Calls

348 calls:

2.3s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (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)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.1s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (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)))))
627.0ms
(* (fabs (cbrt (+ (+ (* x y) (* z t)) (* a b)))) (sqrt (+ (+ (* x y) (* z t)) (* a b))))
488.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
484.0ms
(/ (+ (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) (* (cbrt y) (cbrt y))) (cbrt y)) t) (+ (* (+ (* y (+ (* (+ y a) y) b)) c) y) i))

regimes13.1s (6.9%)

Accuracy

Total 33.9b remaining (22.3%)

Threshold costs 2.4b (1.6%)

10.5b-14.9%Linear.Matrix:det44 from linear-1.19.1.3
3.7b7.9%Linear.Matrix:det33 from linear-1.19.1.3
2.4b-2%cos(2*x)/(cos^2(x)*sin^2(x))
2.1b63.7%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.1b16.1%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

simplify8.6s (4.5%)

Algorithm
163×egg-herbie

rewrite3.5s (1.9%)

Algorithm
103×rewrite-expression-head
Calls

348 calls:

125.0ms
(* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))
70.0ms
(* (/ 1 (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (/ a (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)))
59.0ms
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (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)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
49.0ms
(/ (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
44.0ms
(* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- a x) (cbrt (- (+ t 1.0) z))))
Rules
6043×times-frac
4856×add-sqr-sqrt
4716×*-un-lft-identity
3704×add-exp-log
3532×add-cube-cbrt
2217×prod-exp
1430×associate-*r*
1289×add-cbrt-cube
881×pow1
777×sqrt-prod
738×div-exp
688×cbrt-prod
630×associate-*r/
606×associate-*l/
572×unpow-prod-down
569×flip-- flip3--
538×pow-exp
530×add-log-exp
524×associate-*l*
468×pow-to-exp
440×difference-of-squares
430×cbrt-unprod
429×distribute-lft-out--
427×frac-sub
401×distribute-rgt-neg-in
366×distribute-lft-neg-in
352×frac-times
335×associate-/l*
323×associate-/r*
228×cbrt-undiv
227×div-inv
221×pow-prod-down
196×distribute-lft-out
189×log-prod
178×unswap-sqr
155×exp-prod
152×distribute-rgt-in distribute-lft-in
147×associate-/l/
139×associate-/r/
123×sqrt-div
116×log-pow *-commutative
115×flip-+ flip3-+
110×cbrt-div
106×exp-sum
105×neg-mul-1
94×sub-neg
82×pow1/3
73×swap-sqr
59×clear-num frac-2neg
58×pow1/2 sqrt-pow1
55×1-exp
54×sum-log sin-mult
53×sqr-pow
48×cos-mult
47×rem-sqrt-square
43×diff-log
42×associate-+l+
38×associate-+r+
33×tan-quot rec-exp
28×+-commutative
25×distribute-neg-frac
24×pow-unpow pow-prod-up
22×pow-sqr neg-sub0
20×associate--r+
18×sub-div
17×neg-log
16×associate-+l-
15×pow-flip
14×inv-pow frac-add log-div
12×div-sub
11×pow-plus
10×pow-pow unpow2
9×rem-exp-log pow2 associate--l+ log-rec
7×associate--l-
6×cube-div distribute-frac-neg
5×exp-diff distribute-lft-neg-out distribute-rgt-neg-out rem-log-exp
4×exp-neg
3×un-div-inv exp-to-pow
2×cos-sum rem-cube-cbrt sqrt-unprod associate-+r- distribute-neg-in unpow-prod-up unpow3 cube-mult cube-prod tan-sum
1×pow-sub rem-square-sqrt distribute-rgt-out rem-cbrt-cube

bsearch2.9s (1.5%)

localize2.6s (1.4%)

end0.0ms (0.0%)