Date:Wednesday, March 11th, 2020
Commit:79312c80 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020071
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample1.8m (66.2%)

Algorithm
56×intervals
16×halfpoints
Results
23.0s67933×body1280valid
17.2s17224×body2560valid
7.7s42560×body640valid
3.9s12913×body10240exit
2.8s92212×body80valid
2.3s20335×body320valid
1.8s64348×body80nan
1.3s2292×body1280nan
826.0ms10835×body160valid
768.0ms1897×body640nan
562.0ms47471×pre80true
238.0ms922×body320nan
125.0ms451×body5120valid
66.0ms463×body160nan

series28.1s (17.1%)

Calls

347 calls:

553.0ms
(fma (/ (+ (tan x) (tan eps)) (- (* 1 1) (* (/ (* (tan eps) (sin x)) (cos x)) (/ (* (tan eps) (sin x)) (cos x))))) (+ 1 (/ (* (tan eps) (sin x)) (cos x))) (- (tan x)))
425.0ms
(/ (* 1.0 (fma (sqrt (+ x 1.0)) (sqrt (+ x 1.0)) (fma (sqrt x) (sqrt x) (- (* (sqrt (+ x 1.0)) (sqrt x)))))) (+ (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3)))
374.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan eps) (tan x)))) (tan x))
371.0ms
(cbrt (+ (pow x 3) (pow 1.0 3)))
369.0ms
(cbrt (+ (pow x 3) (pow 1.0 3)))

prune10.4s (6.3%)

Filtered
3650 candidates to 2567 candidates (70.3%)

simplify9.4s (5.7%)

Algorithm
188×egg-herbie

regimes2.5s (1.5%)

Accuracy

Total 22.6b remaining (10.9%)

Threshold costs 7.3b (3.5%)

5.1b82%quadp (p42, positive)
3.8b54.5%expq3 (problem 3.4.2)
2.7b90.4%quad2p (problem 3.2.1, positive)
1.5b85.4%2nthrt (problem 3.4.6)
1.2b85%2tan (problem 3.3.2)

localize2.0s (1.2%)

bsearch1.6s (1.0%)

rewrite1.5s (0.9%)

Algorithm
116×rewrite-expression-head
Calls

347 calls:

23.0ms
(* (/ 1.0 (+ (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))) (+ (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt x)))))
18.0ms
(- (/ (- (log 1.0) (* 1.0 x)) (fma x 1.0 (- (log 1.0) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))) (/ (* 1/2 (/ (pow x 2) (pow 1.0 2))) (fma x 1.0 (- (log 1.0) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))))
16.0ms
(- (/ (/ 1.0 (sqrt x)) (sqrt x)) (/ (/ 1.0 (sqrt (+ x 1.0))) (sqrt (+ x 1.0))))
13.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
12.0ms
(- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))
Rules
369×clear-num
343×frac-2neg
305×associate-/l/
297×*-commutative
263×frac-times
256×frac-sub
248×flip3-- flip--
230×associate-/r/
224×div-inv
199×associate-*r/
185×sqrt-div
184×flip-+ flip3-+
182×associate-/l*
148×sqr-pow
145×*.c-commutative
142×associate-*r*
138×associate-*l*.c
136×prod-diff
131×associate-/r*
126×associate-*l/
124×frac-add
113×times-frac
111×unpow2
107×sub-neg
100×distribute-lft-out.c
70×associate-*l*
67×fma-neg
66×neg-mul-1
53×fma-udef
50×tan-quot
41×log-div
38×distribute-rgt-in distribute-lft-in
36×div-sub
30×+-commutative
28×un-div-inv
25×unswap-sqr complex-mul-def sum-cubes pow1/2
24×distribute-neg-frac
22×pow-to-exp neg-sub0
19×unpow3
18×log-prod
16×cbrt-div associate-+r+
15×difference-of-squares
14×associate--l-
12×fma-def associate--l+
11×pow1/3 associate-+l-
10×distribute-frac-neg
9×associate-+l+ pow-prod-down
8×inv-pow distribute-lft-neg-out distribute-rgt-out-- prod-exp
7×distribute-lft-out--
6×sub-div +.c-commutative associate--r+ log-rec
4×unpow-prod-down associate-+l+.c sin-cos-mult distribute-rgt-out.c sin-mult tan-sum cos-sum complex-add-def sin-sum
3×sqrt-prod log-pow remove-double-div swap-sqr cos-mult pow2
2×exp-diff pow-pow difference-cubes sqrt-pow2 exp-neg exp-prod distribute-rgt-neg-out cbrt-prod
1×diff-log pow-unpow sqrt-unprod associate-+r- associate--r- diff-atan pow-sqr diff-cos rem-square-sqrt pow-prod-up diff-sin

end1.0ms (0.0%)