Date:Wednesday, April 15th, 2020
Commit:a2983cd2 on master
Hostname:warfa with Racket 7.5
Seed:2020106
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.4m (41.3%)

Algorithm
60×intervals
Results
30.7s337626×body80valid
11.0s199775×body80nan
8.1s21297×body1280valid
3.3s5359×body2560valid
2.9s10855×body640valid
1.6s3090×body2560nan
990.0ms5208×body320valid
868.0ms2569×body1280nan
671.0ms16512×pre80true
335.0ms2497×body160valid
311.0ms1303×body640nan
112.0ms652×body320nan
86.0ms312×body5120exit
82.0ms245×body5120valid
41.0ms329×body160nan

series40.8s (20.5%)

Calls

351 calls:

798.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
791.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
791.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
513.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
476.0ms
(* (* (* (cbrt (- y z)) (cbrt (- y z))) (/ (cbrt (- y z)) (- (+ t 1.0) z))) (- a x))

prune40.2s (20.2%)

Filtered
13731 candidates to 8298 candidates (60.4%)

regimes16.3s (8.2%)

Accuracy

Total 41.6b remaining (27.2%)

Threshold costs 6.0b (3.9%)

12.3b8.7%Linear.Matrix:det44 from linear-1.19.1.3
6.8b-17.3%Linear.Matrix:det33 from linear-1.19.1.3
4.8b82.8%The quadratic formula (r1)
4.6b84.4%NMSE problem 3.2.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify8.7s (4.4%)

Algorithm
163×egg-herbie

bsearch4.5s (2.3%)

rewrite3.6s (1.8%)

Algorithm
103×rewrite-expression-head
Calls

351 calls:

85.0ms
(* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n))))
48.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
48.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
36.0ms
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
36.0ms
(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
Rules
10073×times-frac
6568×*-un-lft-identity
6212×add-sqr-sqrt
5236×add-cube-cbrt
2509×add-exp-log
1967×cbrt-prod
1374×unpow-prod-down
1327×add-cbrt-cube
1154×prod-exp
888×pow1
812×distribute-rgt-neg-in
738×distribute-lft-neg-in
715×associate-*r*
646×div-exp
566×associate-*l*
548×add-log-exp
544×cube-prod
479×div-inv
474×associate-/l*
458×cbrt-unprod
392×associate-/r*
339×distribute-lft-out--
326×flip-- flip3--
307×distribute-lft-out
282×difference-of-squares
271×cbrt-undiv
267×exp-sum
243×pow-prod-down
237×frac-times
230×sqrt-prod
223×pow-exp
222×neg-mul-1
211×swap-sqr
210×pow-to-exp
209×cbrt-div
206×associate-*l/
187×associate-/r/
168×unswap-sqr
167×flip-+ flip3-+ associate-*r/
125×sub-neg
118×*-commutative
109×frac-sub
105×distribute-rgt-in distribute-lft-in
99×pow1/3
90×sqr-pow
87×log-prod
82×sqrt-div
68×clear-num rec-exp frac-2neg 1-exp
59×log-pow
58×associate-/l/ diff-log
54×sum-log
39×sqrt-pow1
38×pow1/2
34×associate-+r+
31×tan-quot
29×pow-unpow
28×sin-mult
27×rem-sqrt-square +-commutative associate-+l-
26×exp-prod
25×associate-+l+
22×cos-mult
21×pow-prod-up associate--r+
20×log-div
19×pow-sqr
17×neg-sub0
16×unpow3 cube-mult
14×sub-div
13×associate--l+
12×distribute-neg-frac pow-flip
11×inv-pow div-sub neg-log
9×pow2 pow-plus
8×pow-pow
7×rem-exp-log frac-add pow-sub associate--l-
6×unpow-prod-up distribute-rgt-neg-out
5×distribute-frac-neg
4×distribute-neg-in associate-+r-
3×cube-div exp-diff rem-log-exp
2×cos-sum rem-cube-cbrt un-div-inv sqrt-unprod distribute-lft-neg-out tan-sum exp-to-pow log-rec
1×e-exp-1 exp-neg rem-square-sqrt distribute-rgt-out rem-cbrt-cube pow-neg

localize2.5s (1.3%)

end0.0ms (0.0%)