Date:Saturday, February 29th, 2020
Commit:d0c22b93 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020060
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.8m (53.8%)

Algorithm
56×intervals
16×halfpoints
Results
24.4s67029×body1280valid
17.0s17378×body2560valid
8.4s42585×body640valid
3.9s12887×body10240exit
2.9s93517×body80valid
2.8s20689×body320valid
1.7s62674×body80nan
869.0ms10728×body160valid
723.0ms47410×pre80true
298.0ms655×body1280nan
219.0ms672×body640nan
132.0ms461×body5120valid
73.0ms380×body320nan
25.0ms192×body160nan

series36.0s (17.5%)

Calls

397 calls:

1.5s
(- (/ (+ (tan x) (tan eps)) (/ (- 1 (pow (* (tan x) (tan eps)) 3)) (+ (* (* (tan x) (tan eps)) (+ (* (tan x) (tan eps)) 1)) 1))) (tan x))
1.3s
(- (+ (+ (/ (* (pow (sin x) 2) (pow (sin eps) 3)) (* (pow (cos x) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 3)))) (* (/ (pow (sin eps) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 2))) (+ (/ (sin x) (cos x)) (/ (pow (sin x) 3) (pow (cos x) 3))))) (/ (sin x) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (cos x)))) (/ (sin x) (cos x)))
664.0ms
(* (cbrt (/ (/ 1 2.0) (sqrt 2.0))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
507.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
496.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))

prune32.4s (15.8%)

Filtered
13662 candidates to 8451 candidates (61.9%)

rewrite10.6s (5.2%)

Algorithm
122×rewrite-expression-head
Calls

397 calls:

2.0s
(- (+ (+ (/ (* (pow (sin x) 2) (pow (sin eps) 3)) (* (pow (cos x) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 3)))) (* (/ (pow (sin eps) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 2))) (+ (/ (sin x) (cos x)) (/ (pow (sin x) 3) (pow (cos x) 3))))) (/ (sin x) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (cos x)))) (/ (sin x) (cos x)))
546.0ms
(/ (+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b)) (- (/ 1 b) (/ 1 a)))
456.0ms
(- 1.0 (- (+ 1.0 (+ (/ 0.16666666666666669 (pow n 2)) (* 1.0 (log (/ 1 n))))) (/ 0.5 n)))
314.0ms
(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
300.0ms
(- (/ (+ (tan x) (tan eps)) (/ (- 1 (pow (* (tan x) (tan eps)) 3)) (+ (* (* (tan x) (tan eps)) (+ (* (tan x) (tan eps)) 1)) 1))) (tan x))
Rules
7124×*-un-lft-identity
7072×times-frac
6110×add-sqr-sqrt
3604×add-cube-cbrt
1635×sqrt-prod
1427×add-exp-log
1022×add-cbrt-cube
999×distribute-lft-out
967×difference-of-squares
853×unpow-prod-down
783×associate-*r*
751×add-log-exp
708×distribute-lft-out--
685×pow1
571×associate-*l*
550×associate-/l*
493×div-inv
466×cbrt-prod
437×associate-/r*
390×sqr-pow
386×log-prod
364×div-exp
322×prod-exp
299×associate-/r/
279×unswap-sqr
270×flip-- flip3--
255×cube-prod
221×distribute-rgt-neg-in
206×unpow2
203×cbrt-undiv
200×flip-+ flip3-+
185×cbrt-unprod
176×associate-*l/
129×diff-log
121×sub-neg
114×pow-unpow sqrt-div
111×associate-*r/
109×cbrt-div
104×pow-exp
98×associate-+l+ pow-to-exp
97×swap-sqr
91×frac-add
85×associate-/l/
84×pow-prod-down
77×*-commutative frac-times
76×frac-2neg clear-num
70×sum-log
65×log-pow
53×pow1/3
52×distribute-lft-neg-in associate-+r+
51×sqrt-pow1
50×1-exp
47×rec-exp
40×frac-sub
39×pow1/2
35×+-commutative
33×rem-sqrt-square
32×distribute-rgt-in distribute-lft-in
29×log-div exp-sum
28×difference-cubes
27×div-sub
25×pow-pow tan-quot
24×complex-mul-def
23×distribute-rgt-out--
21×rem-log-exp
20×associate--l+ associate--r+
18×unpow3 cube-mult
17×exp-prod
16×pow-flip
15×associate-+l-
14×cube-div rem-cube-cbrt inv-pow
13×neg-sub0
12×cos-mult
10×pow-prod-up sum-cubes pow-sqr exp-to-pow
9×associate-+r-
8×associate--l-
6×pow-div neg-log pow2 difference-of-sqr-1 pow-plus exp-lft-cube *.c-commutative
5×sub-div
4×+.c-commutative complex-add-def neg-mul-1 sin-mult
3×sqrt-unprod
2×exp-diff +-inverses rem-exp-log associate-+l+.c associate--r- exp-neg associate-*l*.c cos-sum tan-sum distribute-rgt-neg-out sin-sum log-rec
1×sin-cos-mult un-div-inv diff-atan diff-cos sqr-cos unsub-neg distribute-frac-neg distribute-rgt-out rem-cbrt-cube frac-2neg.c distribute-neg-frac diff-sin

simplify10.1s (4.9%)

Algorithm
194×egg-herbie

regimes2.9s (1.4%)

Accuracy

Total 21.9b remaining (10.6%)

Threshold costs 8.3b (4%)

3.7b86.9%quad2p (problem 3.2.1, positive)
3.3b0%expq3 (problem 3.4.2)
1.6b83.6%2cos (problem 3.3.5)
1.6b81.7%2nthrt (problem 3.4.6)
1.3b94.8%quad2m (problem 3.2.1, negative)

localize1.9s (0.9%)

bsearch1.1s (0.5%)

end1.0ms (0.0%)