Date:Thursday, April 9th, 2020
Commit:e7bf75bc on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020100
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 (51.5%)

Algorithm
56×intervals
16×halfpoints
Results
23.3s67798×body1280valid
18.0s17422×body2560valid
7.6s42167×body640valid
4.0s13002×body10240exit
2.8s92338×body80valid
2.4s20637×body320valid
1.8s63992×body80nan
1.5s2303×body1280nan
811.0ms10692×body160valid
745.0ms1867×body640nan
565.0ms47392×pre80true
221.0ms933×body320nan
137.0ms453×body5120valid
65.0ms463×body160nan

series45.5s (21.4%)

Calls

393 calls:

1.1s
(fma (pow (sqrt x) (/ 1.0 n)) (- (pow (sqrt x) (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))
1.1s
(fma (pow (sqrt x) (/ 1.0 n)) (- (pow (sqrt x) (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))
1.1s
(cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))
993.0ms
(* (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))) (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))))
986.0ms
(cbrt (* (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))) (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))))

prune36.2s (17.0%)

Filtered
17228 candidates to 10344 candidates (60.0%)

simplify11.3s (5.3%)

Algorithm
195×egg-herbie

rewrite3.6s (1.7%)

Algorithm
123×rewrite-expression-head
Calls

393 calls:

56.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
51.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
50.0ms
(/ (/ (cbrt a) (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) (cbrt a))
49.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
29.0ms
(/ (/ a (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) a)
Rules
10407×*-un-lft-identity
9929×times-frac
9106×add-sqr-sqrt
6894×add-cube-cbrt
3519×prod-diff
2022×sqrt-prod
1466×cbrt-prod
1104×add-exp-log
1040×unpow-prod-down
919×distribute-lft-out
912×difference-of-squares
869×add-cbrt-cube
864×distribute-lft-out--
756×pow1
639×add-log-exp
629×associate-/l*
581×associate-*r*
574×log-prod
450×fma-neg
417×distribute-rgt-neg-in
414×div-inv
380×associate-/r* expm1-log1p-u
378×log1p-expm1-u
363×associate-/r/
355×sqr-pow
335×associate-*l*
308×associate-+l+
289×exp-sum
248×div-exp
225×flip-- flip3--
219×prod-exp
202×cube-prod
181×unswap-sqr
177×distribute-lft-neg-in
167×flip-+ flip3-+
166×log-pow
165×cbrt-undiv
145×cbrt-unprod
129×sqrt-div
121×swap-sqr
120×unpow2
113×sqrt-pow1
110×exp-prod
108×diff-log sub-neg
107×pow-unpow
103×associate-*l/
95×pow-prod-down
92×fma-def
86×pow1/2
85×pow1/3
69×associate-/l/ frac-2neg clear-num
65×unpow3
60×cube-mult
59×neg-mul-1 associate-*r/
56×pow-prod-up
52×associate-+r+ pow-exp
50×*-commutative
49×cbrt-div
48×pow-to-exp frac-times
44×distribute-rgt-in tan-quot distribute-lft-in
41×log-div
33×rem-sqrt-square
31×fma-udef
28×pow-sqr
26×sum-log
25×unpow-prod-up div-sub rem-log-exp
24×complex-mul-def
20×neg-sub0
19×rec-exp 1-exp
17×exp-diff +-commutative
16×pow-pow
14×frac-add pow-flip
13×associate--l-
12×neg-log
10×pow-plus frac-sub associate-+l-
9×pow2 associate--l+
8×inv-pow
7×sqrt-unprod
6×pow-sub *.c-commutative
5×hypot-def distribute-rgt-out--
4×rem-exp-log rem-cube-cbrt exp-neg +.c-commutative complex-add-def sin-mult associate--r+
3×un-div-inv associate-+r- difference-of-sqr-1 cos-mult expm1-udef
2×cube-div associate-+l+.c expm1-def difference-cubes e-exp-1 log1p-udef log1p-expm1 expm1-log1p rem-square-sqrt associate-*l*.c quot-tan cos-sum tan-sum rem-cbrt-cube pow-neg exp-to-pow sin-sum
1×sin-cos-mult sqrt-pow2 unpow1/3 pow3 diff-atan sub-div diff-cos frac-2neg.c diff-sin log-rec

regimes3.4s (1.6%)

Accuracy

Total 28.9b remaining (12.6%)

Threshold costs 6.8b (3%)

5.2b81.9%quadm (p42, negative)
3.9b85.3%quad2m (problem 3.2.1, negative)
3.7b86.1%quadp (p42, positive)
3.0b0%expq3 (problem 3.4.2)
1.8b92.6%quad2p (problem 3.2.1, positive)

localize1.8s (0.9%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)