Date:Tuesday, July 28th, 2020
Commit:32b35f01 on refactor-reprify
Hostname:warfa with Racket 7.5
Seed:2020210
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.2min (61.1%)

Algorithm
56×intervals
Results
26.8s69867×body1280valid
18.7s17335×body2560valid
9.3s43538×body640valid
3.0s21412×body320valid
2.9s68182×body80valid
1.2s1095×body1280nan
956.0ms10373×body160valid
692.0ms43113×pre80true
686.0ms982×body640nan
503.0ms2991×body80overflowed
314.0ms718×body1280overflowed
190.0ms440×body320nan
184.0ms264×body640invalid
173.0ms461×body5120valid
167.0ms3467×body80nan
126.0ms100×body1280invalid
109.0ms163×body2560overflowed
107.0ms378×body640overflowed
99.0ms1659×body80invalid
66.0ms156×body320invalid
50.0ms221×body160nan
46.0ms226×body320overflowed
19.0ms77×body160invalid
13.0ms91×body160overflowed

prune11.1s (9.5%)

Filtered
9955 candidates to 6672 candidates (33.0%)

analyze9.8s (8.5%)

Algorithm
28×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.6%22.3%7
49.9%27.4%22.7%8
51.1%25.4%23.5%9
51.5%24.3%24.2%10
52.4%22.9%24.7%11
53.2%21.5%25.2%12
53.5%20.9%25.6%13
53.9%20.1%26%14

simplify9.0s (7.8%)

Algorithm
162×egg-herbie

series6.6s (5.7%)

Calls

352 calls:

464.0ms
(-.f64 (*.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (tan.f64 x) (tan.f64 eps))))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
462.0ms
(-.f64 (*.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (*.f64 (tan.f64 x) (tan.f64 x)) (*.f64 (tan.f64 eps) (tan.f64 eps))))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
133.0ms
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
126.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
106.0ms
(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)) (*.f64 (+.f64 (*.f64 1/6 (pow.f64 (*.f64 a eps) 3)) (*.f64 eps a)) (-.f64 (exp.f64 (*.f64 b eps)) 1)))

regimes3.5s (3.0%)

Accuracy

Total 23.3b remaining (24.3%)

Threshold costs 6.4b (6.7%)

8.2b0%expq3 (problem 3.4.2)
4.8b83.3%quadp (p42, positive)
1.7b84.2%2nthrt (problem 3.4.6)
1.3b94.9%quadm (p42, negative)
1.0b95.7%quad2m (problem 3.2.1, negative)

rewrite3.3s (2.9%)

Algorithm
106×rewrite-expression-head
Calls

352 calls:

101.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 x 1)) (cbrt.f64 (-.f64 x 1)))) (cbrt.f64 (-.f64 x 1))))
87.0ms
(*.f64 (sqrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))) (sqrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))))
57.0ms
(+.f64 (/.f64 2 (pow.f64 x 7)) (+.f64 (/.f64 2 (pow.f64 x 5)) (/.f64 2 (pow.f64 x 3))))
40.0ms
(+.f64 (/.f64 1 (-.f64 x 1)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))
40.0ms
(sqrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))))
Rules
3872×*-un-lft-identity_binary64
3186×add-sqr-sqrt_binary64
2406×times-frac_binary64
1753×add-cube-cbrt_binary64
1022×add-exp-log_binary64
962×sqrt-prod_binary64
839×pow1_binary64
837×add-cbrt-cube_binary64
628×add-log-exp_binary64
556×distribute-lft-out_binary64
547×difference-of-squares_binary64
539×distribute-lft-out--_binary64
423×associate-*r*_binary64
374×log-prod_binary64
350×associate-*l*_binary64
333×associate-/l*_binary64
291×associate-/r*_binary64 unpow-prod-down_binary64
261×cbrt-prod_binary64
248×div-inv_binary64
225×prod-exp_binary64
186×flip3--_binary64 flip--_binary64
179×unswap-sqr_binary64 div-exp_binary64
177×sqrt-div_binary64
166×sqrt-pow1_binary64
161×flip3-+_binary64 flip-+_binary64
159×cbrt-unprod_binary64
158×associate-/r/_binary64
141×swap-sqr_binary64 log-pow_binary64
136×pow-prod-down_binary64
130×sqr-pow_binary64
127×cbrt-undiv_binary64
116×pow1/2_binary64
109×cube-prod_binary64
100×diff-log_binary64
95×sub-neg_binary64 frac-times_binary64
82×associate-*r/_binary64
80×tan-quot_binary64
74×pow-unpow_binary64
72×*-commutative_binary64
69×frac-add_binary64
66×associate-*l/_binary64
62×clear-num_binary64 frac-2neg_binary64
59×pow-prod-up_binary64
50×sum-log_binary64
47×associate-/l/_binary64
45×exp-prod_binary64
41×rem-sqrt-square_binary64
40×frac-sub_binary64 cbrt-div_binary64
37×pow-exp_binary64
36×pow-to-exp_binary64
35×pow1/3_binary64
33×log-div_binary64
30×difference-of-sqr-1_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64
29×rec-exp_binary64 1-exp_binary64 associate--l+_binary64
28×rem-log-exp_binary64 +-commutative_binary64
27×pow-sqr_binary64
26×distribute-rgt-neg-in_binary64
23×pow-flip_binary64
22×div-sub_binary64
21×distribute-lft-neg-in_binary64 neg-mul-1_binary64
17×inv-pow_binary64
16×associate--r+_binary64
15×cube-mult_binary64 pow-pow_binary64
12×unpow3_binary64
9×pow-plus_binary64 pow2_binary64
8×sqrt-unprod_binary64 associate-+r+_binary64
7×associate--l-_binary64 sin-mult_binary64 distribute-rgt-out--_binary64
5×neg-sub0_binary64 rem-exp-log_binary64 exp-diff_binary64
4×associate-+l-_binary64 e-exp-1_binary64 associate-+l+_binary64
3×difference-cubes_binary64 exp-sum_binary64 unpow2_binary64 exp-to-pow_binary64 sqr-sin-a_binary64 rem-square-sqrt_binary64 distribute-frac-neg_binary64 un-div-inv_binary64
2×associate-+r-_binary64 cube-div_binary64 tan-sum_binary64 sin-cos-mult_binary64 exp-neg_binary64 associate--r-_binary64 sub-div_binary64 cos-sum_binary64 sin-sum_binary64
1×rem-cbrt-cube_binary64 rem-cube-cbrt_binary64 neg-log_binary64 diff-sin_binary64 diff-atan_binary64 diff-cos_binary64

localize1.1s (0.9%)

bsearch658.0ms (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...