Date:Friday, August 7th, 2020
Commit:ae72a3a6 on plugins
Hostname:warfa with Racket 7.5
Seed:2020220
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.5min (48.9%)

Algorithm
62×intervals
Results
20.1s30786×body1280valid
14.6s175610×body80valid
9.4s20553×body640valid
6.4s7430×body2560valid
4.7s50674×body80nan
3.9s772×body5120invalid
3.3s1303×body2560invalid
3.1s9843×body320valid
2.6s4520×body1280nan
2.6s24378×body80invalid
2.1s2568×body5120valid
1.9s3716×body1280invalid
1.8s9146×body160valid
1.7s4041×body640nan
1.1s3193×body640invalid
661.0ms2117×body320nan
490.0ms1811×body320invalid
378.0ms596×body5120exit
353.0ms2578×body80overflowed
174.0ms912×body160invalid
139.0ms8256×pre80true
119.0ms626×body160nan

analyze33.5s (17.8%)

Algorithm
31×search
Search
TrueOtherFalseIter
0%98.2%1.8%0
3.2%95%1.8%1
5.6%91%3.4%2
8%84.5%7.4%3
9.8%80.7%9.5%4
13.5%76.9%9.7%5
16%72.8%11.2%6
18.1%68.2%13.7%7
21.2%62.6%16.2%8
24.7%57%18.2%9
26.4%53.6%20%10
28.9%49.8%21.3%11
30.2%47.2%22.5%12
31.9%42.5%25.7%13
32.9%40.8%26.3%14

series19.7s (10.5%)

Calls

446 calls:

813.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))
806.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))
803.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))
795.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))
795.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))

prune14.2s (7.6%)

Filtered
15481 candidates to 9395 candidates (39.3%)

simplify10.2s (5.4%)

Algorithm
180×egg-herbie

regimes10.1s (5.4%)

Accuracy

Total 42.8b remaining (21.3%)

Threshold costs 5.3b (2.6%)

7.7b16.6%Toniolo and Linder, Equation (10+)
6.2b73.8%Toniolo and Linder, Equation (7)
6.2b0%Toniolo and Linder, Equation (10-)
6.0b34.9%Toniolo and Linder, Equation (13)
3.5b0%Henrywood and Agarwal, Equation (12)

rewrite5.2s (2.8%)

Algorithm
118×rewrite-expression-head
Calls

446 calls:

77.0ms
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
73.0ms
(*.f64 (cos.f64 th) (/.f64 (/.f64 (+.f64 (*.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
44.0ms
(/.f64 1 (/.f64 (sqrt.f64 k) (/.f64 (sqrt.f64 (*.f64 n (*.f64 2 PI.f64))) (pow.f64 (*.f64 n (*.f64 2 PI.f64)) (/.f64 k 2)))))
43.0ms
(*.f64 (*.f64 (*.f64 (*.f64 t (/.f64 t l)) (*.f64 (/.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 1) (*.f64 (sin.f64 k) (/.f64 (cbrt.f64 t) l)))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
40.0ms
(*.f64 (sqrt.f64 (*.f64 n (*.f64 2 PI.f64))) (/.f64 (/.f64 1 (pow.f64 (*.f64 n (*.f64 2 PI.f64)) (/.f64 k 2))) (sqrt.f64 k)))
Rules
6375×times-frac_binary64
5240×add-exp-log_binary64
5185×add-sqr-sqrt_binary64
4546×*-un-lft-identity_binary64
3968×add-cube-cbrt_binary64
3276×sqrt-prod_binary64
3037×add-cbrt-cube_binary64
2568×prod-exp_binary64
1614×pow1_binary64
1427×cbrt-unprod_binary64
1254×associate-*r*_binary64
1186×div-exp_binary64
721×associate-*r/_binary64
699×unpow-prod-down_binary64
582×pow-prod-down_binary64
576×associate-*l*_binary64
547×cbrt-prod_binary64
545×associate-/r*_binary64
544×add-log-exp_binary64
542×cbrt-undiv_binary64
484×sqrt-div_binary64
413×frac-times_binary64
392×sqr-pow_binary64
369×difference-of-squares_binary64
364×associate-*l/_binary64
360×associate-/l*_binary64
320×pow-exp_binary64
274×unswap-sqr_binary64 div-inv_binary64
269×flip3-+_binary64 flip-+_binary64
190×sqrt-pow1_binary64
170×flip3--_binary64 flip--_binary64
169×associate-/r/_binary64
164×pow-to-exp_binary64
148×*-commutative_binary64
120×distribute-lft-out--_binary64
115×pow1/2_binary64
112×pow-unpow_binary64
109×unpow2_binary64
103×distribute-lft-out_binary64
101×tan-quot_binary64
93×cbrt-div_binary64
91×clear-num_binary64 frac-2neg_binary64
90×log-prod_binary64
84×rem-sqrt-square_binary64
76×1-exp_binary64
75×pow1/3_binary64
66×pow-prod-up_binary64
61×swap-sqr_binary64
56×associate-/l/_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64
50×cube-prod_binary64
49×pow-pow_binary64
46×log-pow_binary64
45×sub-neg_binary64
44×pow-sqr_binary64
39×sum-log_binary64
38×frac-add_binary64
37×exp-prod_binary64
34×rec-exp_binary64
29×+-commutative_binary64
28×pow-plus_binary64
21×frac-sub_binary64
20×cube-div_binary64
17×unpow3_binary64 cube-mult_binary64 pow2_binary64
16×associate-+r+_binary64
12×rem-log-exp_binary64
11×diff-log_binary64
10×sinh-def_binary64
9×rem-cube-cbrt_binary64
8×div-sub_binary64
7×log-div_binary64
6×exp-sum_binary64 rem-cbrt-cube_binary64 pow-flip_binary64 inv-pow_binary64
5×sqrt-unprod_binary64
4×difference-of-sqr-1_binary64 associate-+l+_binary64 exp-diff_binary64 cos-diff_binary64 cos-sum_binary64
3×sqrt-undiv_binary64 acos-asin_binary64 rem-exp-log_binary64 rem-square-sqrt_binary64
2×e-exp-1_binary64 sinh-undef_binary64 pow-sub_binary64 asin-acos_binary64 un-div-inv_binary64 associate--l+_binary64
1×sqrt-pow2_binary64 pow3_binary64 exp-to-pow_binary64 sub-div_binary64 mul0-rgt_binary64

localize2.0s (1.1%)

bsearch1.1s (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...