Date:Saturday, April 11th, 2020
Commit:a26a9b61 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020102
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.7m (42.4%)

Algorithm
77×intervals
Results
36.3s43912×body1280valid
12.2s30234×body640valid
8.6s201777×body80valid
7.1s3099×body5120exit
7.1s152610×body80nan
5.4s28022×body320valid
3.9s36406×body160valid
3.9s155734×pre80true
1.0s3195×body2560valid
595.0ms3105×body2560nan
411.0ms2624×body1280nan
374.0ms11920×body80overflowed
371.0ms16489×pre80false
163.0ms1291×body640nan
79.0ms218×body5120valid
61.0ms624×body320nan
20.0ms306×body160nan

prune1.1m (27.2%)

Filtered
23777 candidates to 15423 candidates (64.9%)

series38.3s (16.3%)

Calls

455 calls:

456.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
442.0ms
(cbrt (- (log (+ 1.0 (exp x))) (* x y)))
385.0ms
(* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))
384.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
378.0ms
(cbrt g)

simplify14.2s (6.0%)

Algorithm
213×egg-herbie

regimes10.0s (4.2%)

Accuracy

Total 30.6b remaining (24.6%)

Threshold costs 6.7b (5.4%)

5.7b58.2%Cubic critical, narrow range
4.9b25.3%Cubic critical, medium range
3.5b84.5%Cubic critical
3.3b0%Cubic critical, wide range
2.6b75.9%Quotient of products

rewrite6.1s (2.6%)

Algorithm
137×rewrite-expression-head
Calls

455 calls:

427.0ms
(- (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4)))
214.0ms
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
166.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
91.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
89.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
Rules
20069×times-frac
16521×add-sqr-sqrt
16456×*-un-lft-identity
12183×add-cube-cbrt
8516×prod-diff
3192×associate--l+
2860×unpow-prod-down
1881×sqrt-prod
1821×add-exp-log
1771×distribute-rgt-neg-in
1670×difference-of-squares
1605×add-cbrt-cube
1575×distribute-lft-neg-in
1155×sqr-pow
1037×distribute-lft-out
1013×pow1
978×associate--r+
955×distribute-lft-out--
900×div-inv
851×associate-*r*
703×add-log-exp
617×fma-neg
609×associate-/l*
558×associate-/r*
556×cube-prod
547×log-pow
544×associate-/r/
534×exp-prod
525×neg-mul-1
495×associate-*l*
478×prod-exp
458×log1p-expm1-u expm1-log1p-u
425×div-exp
394×cbrt-unprod
351×cbrt-undiv
313×flip--
312×flip3-- log-prod
264×flip-+
263×flip3-+
253×fma-def
230×pow-prod-down
212×cbrt-prod
165×unswap-sqr
164×sqrt-div
133×frac-times
128×cbrt-div
122×associate-*r/
115×distribute-rgt-in distribute-lft-in
113×clear-num frac-2neg
105×associate-/l/
102×exp-sum
99×associate-*l/
96×unpow3 cube-mult
91×*-commutative
81×sub-neg
76×unpow2
72×diff-log
62×swap-sqr
57×div-sub
49×sum-log
47×cos-sum
44×pow1/3
39×pow1/2 sqrt-pow1
36×pow-prod-up
35×+-commutative
34×sin-sum
33×pow-exp log-div
31×neg-sub0
29×pow-to-exp
28×pow-sqr
27×rem-sqrt-square
24×rec-exp tan-quot 1-exp
23×fma-udef sin-mult
22×pow-unpow
21×frac-sub cos-mult
19×neg-log sin-diff
18×difference-cubes pow-plus cos-diff rem-log-exp
17×frac-add associate-+l- exp-to-pow
15×distribute-rgt-out
14×associate-+r-
13×sin-cos-mult associate--l- acos-asin
12×pow2 pow-pow
11×distribute-frac-neg expm1-udef
9×rem-cube-cbrt
8×cube-div acos-neg expm1-log1p
7×rem-exp-log un-div-inv associate--r-
6×associate-+r+
5×asin-acos
4×associate-+l+ log1p-udef inv-pow log1p-expm1 pow-flip hypot-def
3×exp-diff unpow-prod-up
2×sqrt-unprod distribute-lft1-in rem-cbrt-cube
1×log1p-def e-exp-1 pow3 hypot-udef rem-square-sqrt distribute-rgt-out--

localize2.1s (0.9%)

bsearch682.0ms (0.3%)

end1.0ms (0.0%)