Date:Wednesday, April 15th, 2020
Commit:b8df7a50 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020106
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.9m (56.2%)

Algorithm
56×intervals
16×halfpoints
Results
25.8s67520×body1280valid
18.3s17402×body2560valid
9.2s42206×body640valid
3.9s92264×body80valid
3.0s21025×body320valid
2.6s65063×body80nan
1.3s1155×body1280nan
1.1s15790×body80overflowed
1.0s10682×body160valid
769.0ms47337×pre80true
669.0ms932×body640nan
193.0ms450×body320nan
179.0ms492×body5120valid
52.0ms235×body160nan

series36.3s (17.7%)

Calls

405 calls:

761.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
604.0ms
(pow (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) 4)
603.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
555.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
502.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))

prune32.0s (15.6%)

Filtered
14373 candidates to 9001 candidates (62.6%)

simplify10.6s (5.2%)

Algorithm
196×egg-herbie

rewrite4.3s (2.1%)

Algorithm
124×rewrite-expression-head
Calls

405 calls:

96.0ms
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (cbrt x)))
62.0ms
(/ (/ 1 (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) c)) a)
52.0ms
(* (/ 1 (* (cbrt (- (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (- (* (pow x 2) (+ (* x 1/6) 1/2)) x)))) (/ (- (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (pow x 4)) (pow x 2)) (cbrt (- (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
41.0ms
(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))
38.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
8958×times-frac
7516×add-sqr-sqrt
7414×*-un-lft-identity
4619×add-cube-cbrt
1484×add-exp-log
1259×difference-of-squares
1082×add-cbrt-cube
1012×sqrt-prod
919×distribute-lft-out--
868×unpow-prod-down
838×associate-/l*
786×pow1
746×add-log-exp
707×associate-*r*
680×associate-*l*
517×distribute-lft-out
442×cube-prod
425×associate-/r*
408×sqr-pow
391×cbrt-prod
374×prod-exp
347×div-exp
309×flip-- flip3--
277×unswap-sqr associate-/r/
269×div-inv
247×associate-*l/
239×distribute-rgt-neg-in
227×log-prod
216×cbrt-unprod
209×cbrt-undiv
200×flip-+ flip3-+
158×exp-prod
157×pow-prod-down
150×associate-*r/
136×cbrt-div
135×frac-times
126×unpow2
122×associate-/l/
119×sub-neg
114×diff-log
111×swap-sqr
103×pow-exp
99×pow-to-exp
89×*-commutative
86×pow-unpow
76×clear-num frac-2neg
71×frac-add
70×pow1/3
67×sqrt-div
65×sum-log
59×difference-cubes
55×frac-sub
52×rec-exp 1-exp
50×log-pow
47×pow-prod-up
45×distribute-rgt-in pow-sqr distribute-lft-in
38×pow1/2 sqrt-pow1
37×exp-sum
36×tan-quot pow-pow
34×+-commutative
33×log-div
30×cos-mult
28×sin-mult
27×rem-sqrt-square unpow3 cube-mult div-sub
25×distribute-rgt-out
24×complex-mul-def
23×associate--l+
22×associate-+l+
19×exp-to-pow
16×cube-div neg-sub0 rem-log-exp
15×pow-plus exp-lft-cube
14×distribute-lft1-in distribute-rgt1-in
13×rem-cube-cbrt associate--l- associate--r+ pow2
12×pow-flip
10×inv-pow count-2 neg-log associate-+l-
8×exp-diff associate-+r+
7×rem-exp-log difference-of-sqr-1 sub-div
6×*.c-commutative
4×un-div-inv unpow1/3 sqrt-unprod +.c-commutative complex-add-def
3×rem-cbrt-cube
2×cos-sum sin-sum associate-+l+.c associate-+r- exp-neg pow-sub associate-*l*.c sqr-cos tan-sum pow-neg
1×sqrt-pow2 diff-atan sin-cos-mult diff-cos rem-square-sqrt frac-2neg.c diff-sin

regimes3.1s (1.5%)

Accuracy

Total 30.7b remaining (14.2%)

Threshold costs 5.6b (2.6%)

4.8b82.8%quadp (p42, positive)
4.6b84.3%quadm (p42, negative)
4.6b84.4%quad2m (problem 3.2.1, negative)
3.2b0%expq3 (problem 3.4.2)
2.8b89.7%quad2p (problem 3.2.1, positive)

localize2.0s (1.0%)

bsearch1.4s (0.7%)

end1.0ms (0.0%)