Date:Tuesday, March 31st, 2020
Commit:2cac45bc on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020091
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

series17.0m (74.0%)

Calls

349 calls:

6.3m
(* (pow (/ (- (+ f n)) (- f n)) 2/3) (cbrt (/ (- (+ f n)) (- f n))))
517.0ms
(* (* (/ (- y z) (- (+ t 1.0) z)) (* (cbrt (- a x)) (cbrt (- a x)))) (cbrt (- a x)))
517.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
482.0ms
(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))
470.0ms
(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))

end3.6m (15.9%)

sample1.1m (4.9%)

Algorithm
59×intervals
Results
24.5s323241×body80valid
8.7s205506×body80nan
7.4s21572×body1280valid
2.7s11016×body640valid
2.7s5241×body2560valid
853.0ms5040×body320valid
448.0ms16512×pre80true
291.0ms2446×body160valid
70.0ms233×body5120valid

prune38.9s (2.8%)

Filtered
12623 candidates to 7888 candidates (62.5%)

regimes15.5s (1.1%)

Accuracy

Total 44.3b remaining (28.2%)

Threshold costs 3.6b (2.3%)

12.3b-15.6%Linear.Matrix:det44 from linear-1.19.1.3
5.1b82.2%The quadratic formula (r1)
5.0b22.8%Linear.Matrix:det33 from linear-1.19.1.3
4.7b82.8%NMSE problem 3.2.1
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify8.6s (0.6%)

Algorithm
160×egg-herbie

rewrite3.8s (0.3%)

Algorithm
102×rewrite-expression-head
Calls

352 calls:

82.0ms
(* (pow (/ (- (+ f n)) (- f n)) 2/3) (cbrt (/ (- (+ f n)) (- f n))))
81.0ms
(* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n))))
52.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
44.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (* (+ (* (+ y a) y) b) (* (cbrt y) (cbrt y))) (cbrt y)) c) y) i)))
41.0ms
(+ (log (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))))
Rules
6426×times-frac
5612×*-un-lft-identity
5469×add-sqr-sqrt
4733×add-exp-log
3529×add-cube-cbrt
2656×prod-exp
1766×div-exp
1291×pow-exp
1202×add-cbrt-cube
972×cbrt-prod
810×associate-*r*
761×pow1
760×associate-*l*
707×difference-of-squares
662×distribute-lft-out--
551×add-log-exp
550×associate-/l*
492×distribute-rgt-neg-in
434×pow-to-exp
424×sqrt-prod
405×distribute-lft-neg-in
383×cbrt-unprod
362×distribute-lft-out
336×associate-/r*
325×flip-- flip3--
318×rec-exp 1-exp
288×unpow-prod-down
227×cbrt-undiv
217×cbrt-div
215×div-inv
214×unswap-sqr
213×frac-times
204×swap-sqr
185×associate-*r/
173×pow-prod-down
144×associate-/r/
141×associate-*l/
123×sub-neg
114×*-commutative
110×flip-+ flip3-+
109×log-prod
107×distribute-rgt-in distribute-lft-in
101×neg-mul-1
94×pow1/3
69×clear-num frac-sub frac-2neg
62×sqrt-div
60×diff-log
53×associate-/l/ sqr-pow
51×log-pow
50×exp-prod sum-log
49×associate-+r+
30×tan-quot sin-mult exp-sum sqrt-pow1
29×pow1/2
27×+-commutative
26×associate-+l+ rem-sqrt-square
25×neg-sub0
24×cos-mult
19×pow-pow pow-unpow
18×associate-+l- associate--r+
17×div-sub neg-log
16×log-div
14×sub-div pow-prod-up
13×pow-sqr associate--l-
12×associate--l+ distribute-neg-frac
10×cube-div unpow2
9×rem-exp-log pow-flip
8×inv-pow cube-prod
7×pow2 pow-plus distribute-frac-neg
6×un-div-inv frac-add
5×associate-+r-
4×exp-diff distribute-neg-in unpow3 cube-mult distribute-rgt-neg-out rem-log-exp
3×rem-cube-cbrt distribute-lft-neg-out
2×cos-sum sqrt-undiv exp-neg unpow-prod-up tan-sum rem-cbrt-cube exp-to-pow log-rec
1×unpow1/3 sqrt-unprod distribute-rgt-out-- pow-sub distribute-rgt-out

localize2.7s (0.2%)

bsearch2.5s (0.2%)