Date:Wednesday, April 1st, 2020
Commit:71d48594 on master
Hostname:warfa with Racket 7.5
Seed:2020092
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 (55.0%)

Algorithm
56×intervals
16×halfpoints
Results
22.9s66688×body1280valid
17.4s17274×body2560valid
7.9s42848×body640valid
4.2s12798×body10240exit
2.8s92562×body80valid
2.4s20836×body320valid
1.8s63959×body80nan
1.3s2209×body1280nan
828.0ms10777×body160valid
744.0ms1860×body640nan
554.0ms47570×pre80true
214.0ms874×body320nan
129.0ms378×body5120valid
67.0ms476×body160nan

series38.6s (19.5%)

Calls

407 calls:

1.6s
(- (* (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan x) (tan eps)) 3))) (+ (* 1 1) (+ (* (* (tan x) (tan eps)) (* (tan x) (tan eps))) (* 1 (* (tan x) (tan eps)))))) (tan x))
1.4s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (pow (* eps b) 3)) (+ (* 1/2 (pow (* b eps) 2)) (* eps b)))))
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)))
643.0ms
(pow (exp (* (cbrt (log (log (/ (+ N 1.0) N)))) (cbrt (log (log (/ (+ N 1.0) N)))))) (cbrt (log (log (/ (+ N 1.0) N)))))
589.0ms
(log (exp (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

prune30.5s (15.4%)

Filtered
13880 candidates to 8870 candidates (63.9%)

simplify10.4s (5.2%)

Algorithm
194×egg-herbie

rewrite3.9s (2.0%)

Algorithm
122×rewrite-expression-head
Calls

407 calls:

37.0ms
(- (+ (+ (/ (* (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)))
33.0ms
(* (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) (/ 1 (* 2.0 a)))
31.0ms
(/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
30.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
30.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
6754×*-un-lft-identity
6585×times-frac
6294×add-sqr-sqrt
3636×add-cube-cbrt
1393×add-exp-log
1351×sqrt-prod
1181×difference-of-squares
1043×add-cbrt-cube
965×unpow-prod-down
847×distribute-lft-out--
774×distribute-lft-out
758×add-log-exp
673×pow1
658×associate-/l*
657×associate-*r*
604×cbrt-prod
513×cube-prod
443×log-prod
423×associate-*l*
408×associate-/r*
389×sqr-pow
339×prod-exp
317×flip3-- flip--
302×div-exp
280×flip-+ flip3-+
247×unswap-sqr
246×div-inv
238×associate-/r/
208×cbrt-undiv
197×associate-*l/
193×cbrt-unprod
192×cbrt-div
185×frac-add
180×pow-unpow
170×sqrt-div
155×frac-times
147×log-pow
137×unpow2
135×exp-prod
134×diff-log
126×sub-neg
121×associate-*r/
118×associate-/l/
108×distribute-rgt-neg-in
99×log-div
92×pow-exp
87×pow-to-exp
78×frac-2neg clear-num
77×pow-prod-down
76×associate-+l+
68×*-commutative
63×sum-log
56×neg-sub0
53×unpow3 cube-mult
49×frac-sub
48×exp-diff
41×sqrt-pow1
40×exp-neg
39×pow1/2 rem-log-exp
38×swap-sqr
37×pow1/3
33×cube-div pow-pow
32×distribute-rgt-in +-commutative exp-sum distribute-lft-in
31×tan-quot 1-exp rec-exp
30×div-sub
25×rem-sqrt-square
24×complex-mul-def
21×sum-cubes associate--l+
20×rem-cube-cbrt
18×associate--r-
15×associate-+l-
14×associate--r+
13×difference-cubes distribute-rgt-out--
12×associate--l- neg-log
11×pow-flip
10×un-div-inv cos-mult
9×pow-prod-up
8×inv-pow
7×sub-div pow-sqr associate-+r+
6×rem-exp-log difference-of-sqr-1 *.c-commutative
5×rem-cbrt-cube
4×sqrt-unprod associate-+r- +.c-commutative complex-add-def sin-mult
3×pow2 pow-plus exp-to-pow
2×cos-sum pow-neg distribute-lft-neg-in associate-+l+.c pow-sub associate-*l*.c neg-mul-1 tan-sum frac-2neg.c distribute-neg-frac sin-sum
1×sin-cos-mult diff-atan diff-cos rem-square-sqrt log-rec diff-sin

regimes3.0s (1.5%)

Accuracy

Total 22.2b remaining (11.3%)

Threshold costs 6.1b (3.1%)

3.3b0%expq3 (problem 3.4.2)
3.3b87.6%quad2p (problem 3.2.1, positive)
1.8b83.7%2nthrt (problem 3.4.6)
1.7b93%quadm (p42, negative)
1.7b84%2cos (problem 3.3.5)

localize1.9s (1.0%)

bsearch980.0ms (0.5%)

end1.0ms (0.0%)