Date:Thursday, March 5th, 2020
Commit:7606e899 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020065
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample1.8m (52.8%)

Algorithm
56×intervals
16×halfpoints
Results
23.1s67318×body1280valid
17.6s17257×body2560valid
7.7s42561×body640valid
4.0s12995×body10240exit
2.8s92261×body80valid
2.4s20958×body320valid
1.8s64473×body80nan
1.3s2324×body1280nan
788.0ms10680×body160valid
776.0ms1942×body640nan
573.0ms47368×pre80true
226.0ms943×body320nan
148.0ms495×body5120valid
68.0ms483×body160nan

prune41.9s (20.0%)

Filtered
17340 candidates to 9857 candidates (56.8%)

series35.8s (17.1%)

Calls

387 calls:

1.4s
(- (fma 0.3333333333333333 (/ 1 (* (- 1 (log (/ 1 N))) (pow N 3))) (* 5.551115123125783e-17 (/ (log (/ 1 N)) (* (pow (- 1 (log (/ 1 N))) 3) (pow N 3))))) (fma 5.551115123125783e-17 (/ 1 (* (pow (- 1 (log (/ 1 N))) 3) (pow N 3))) (fma 0.3333333333333333 (/ (log (/ 1 N)) (* (- 1 (log (/ 1 N))) (pow N 3))) (* 0.5 (/ 1 (pow N 2))))))
887.0ms
(fma (/ (+ (tan x) (tan eps)) (- (pow 1 3) (pow (* (tan x) (tan eps)) 3))) (+ (* 1 1) (+ (* (* (tan x) (tan eps)) (* (tan x) (tan eps))) (* 1 (* (tan x) (tan eps))))) (- (tan x)))
521.0ms
(/ (- x (sin x)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (tan x))))
499.0ms
(/ (/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
498.0ms
(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))

simplify11.0s (5.3%)

Algorithm
193×egg-herbie

rewrite3.7s (1.8%)

Algorithm
121×rewrite-expression-head
Calls

387 calls:

57.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
53.0ms
(* (/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt 2.0)) (sin y)))
48.0ms
(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
46.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
45.0ms
(/ (/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
Rules
9729×*-un-lft-identity
9604×times-frac
8626×add-sqr-sqrt
6748×add-cube-cbrt
3377×prod-diff
2926×sqrt-prod
1285×add-exp-log
932×add-cbrt-cube
920×distribute-lft-out
851×unpow-prod-down
780×difference-of-squares
676×pow1
651×distribute-lft-out--
644×div-inv
639×add-log-exp
613×cbrt-prod
585×associate-*l*
548×associate-/r*
508×associate-/l*
464×associate-/r/
428×fma-neg
394×associate-*r*
390×div-exp
373×expm1-log1p-u
371×log1p-expm1-u
345×sqr-pow
321×distribute-rgt-neg-in
287×associate-+l+ cube-prod
233×flip-- flip3--
223×prod-exp
215×cbrt-undiv
211×flip-+ flip3-+
204×distribute-lft-neg-in
191×pow-unpow
173×unswap-sqr
146×log-prod
145×associate-*l/
136×cbrt-unprod
129×log-pow swap-sqr
126×cbrt-div
115×fma-def
105×diff-log
99×unpow2
96×sub-neg
91×sqrt-div
82×clear-num frac-2neg
79×pow-exp
75×pow-to-exp
73×associate-/l/
72×unpow3 cube-mult
71×pow1/3
69×exp-prod
68×neg-mul-1
67×tan-quot
64×1-exp rec-exp
63×pow-prod-down
60×frac-times
53×associate-*r/
52×sqrt-pow1
39×fma-udef
36×pow1/2 *-commutative
33×frac-add sum-log
31×pow-flip
30×div-sub
26×rem-sqrt-square log-div
24×complex-mul-def
23×associate-+r+
22×neg-sub0
21×pow-pow difference-of-sqr-1 frac-sub
20×+-commutative
18×rem-log-exp
17×inv-pow
16×associate-+l-
15×distribute-rgt-in pow-sqr pow-prod-up distribute-lft-in
14×rem-cube-cbrt associate--l- neg-log
10×pow-div associate--l+
9×associate--r+
8×exp-diff pow-plus sin-mult cos-mult
7×rem-exp-log pow2
6×*.c-commutative exp-sum
5×cube-div
4×difference-cubes exp-neg +.c-commutative complex-add-def expm1-def distribute-rgt-out-- expm1-udef
3×sin-cos-mult sub-div log-rec
2×associate-+l+.c log1p-udef cos-sum associate-+r- log1p-expm1 expm1-log1p associate-*l*.c tan-sum frac-2neg.c sin-sum
1×rem-cbrt-cube diff-atan diff-cos unsub-neg distribute-rgt-out sqr-cos exp-to-pow diff-sin

regimes2.9s (1.4%)

Accuracy

Total 29.7b remaining (14.2%)

Threshold costs 6.6b (3.1%)

4.5b84.6%quadm (p42, negative)
4.4b84.7%quad2m (problem 3.2.1, negative)
4.0b85.9%quadp (p42, positive)
3.3b0%expq3 (problem 3.4.2)
3.3b88.2%quad2p (problem 3.2.1, positive)

localize2.1s (1.0%)

bsearch1.2s (0.6%)

end1.0ms (0.0%)