Date:Thursday, September 24th, 2020
Commit:e26d2313 on egg-taylor
Hostname:warfa with Racket 7.8
Seed:2020268
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

series2.8min (43.1%)

Calls

463 calls:

1.3s
(acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (log.f64 (exp.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
1.3s
(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
1.3s
(acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
1.2s
(acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
1.1s
(/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

sample2.2min (33.8%)

Algorithm
78×intervals
Results
44.0s43599×body1280valid
25.8s3768×body5120exit
14.4s29936×body640valid
8.2s175784×body80valid
6.1s27253×body320valid
5.4s2129×body1280overflowed
4.2s35789×body160valid
3.4s17512×body80overflowed
3.0s124442×pre80true
2.7s1975×body640overflowed
991.0ms3100×body2560valid
772.0ms968×body320overflowed
555.0ms3013×body2560nan
497.0ms9369×body80nan
387.0ms2515×body1280nan
369.0ms5385×body80invalid
227.0ms313×body1280invalid
219.0ms452×body640invalid
194.0ms441×body160overflowed
154.0ms1261×body640nan
95.0ms235×body5120valid
78.0ms222×body320invalid
67.0ms681×body320nan
22.0ms99×body160invalid
20.0ms310×body160nan
2.0ms117×pre80false

analyze29.8s (7.7%)

Algorithm
39×search
Search
TrueOtherFalseIter
0%71.2%28.8%0
2.6%68.7%28.8%1
6.7%64.5%28.8%2
15.3%53.4%31.4%3
21.5%44.1%34.4%4
26.5%37.3%36.2%5
28.4%33.3%38.3%6
30.1%30.3%39.5%7
31%28.8%40.3%8
33%25.9%41.1%9
33.4%24.9%41.6%10
34.2%23.8%42%11
35%22.5%42.5%12
36%21.3%42.7%13
36.3%20.8%43%14

simplify24.2s (6.3%)

prune20.6s (5.3%)

Filtered
13965 candidates to 9711 candidates (30.5%)

rewrite6.5s (1.7%)

Algorithm
137×rewrite-expression-head
Calls

463 calls:

222.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
216.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
207.0ms
(*.f64 e (sin.f64 v))
202.0ms
(*.f64 (tan.f64 x) (tan.f64 x))
199.0ms
(*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))
Rules
3798×*-un-lft-identity_binary64
3695×add-sqr-sqrt_binary64
3251×times-frac_binary64
2779×add-exp-log_binary64
2346×add-cube-cbrt_binary64
1413×add-cbrt-cube_binary64
1406×associate-*l/_binary64
1246×flip--_binary64
1245×flip3--_binary64
1102×pow1_binary64
1055×prod-exp_binary64
917×div-exp_binary64
803×frac-times_binary64
750×pow-exp_binary64
728×sqrt-div_binary64
702×add-log-exp_binary64
697×frac-add_binary64
649×difference-of-squares_binary64
552×associate-*r*_binary64
483×associate-*r/_binary64
465×associate-/l*_binary64
463×insert-posit16
413×associate-/r*_binary64
400×associate-*l*_binary64
375×pow-to-exp_binary64
356×distribute-lft-out_binary64
328×cbrt-unprod_binary64
324×cbrt-prod_binary64
303×log-prod_binary64
297×distribute-lft-out--_binary64
277×cbrt-undiv_binary64
258×unpow-prod-down_binary64
240×div-inv_binary64
239×sqrt-prod_binary64
237×flip-+_binary64
236×flip3-+_binary64
229×associate-/r/_binary64
223×pow-prod-down_binary64
139×sub-neg_binary64
137×rec-exp_binary64 1-exp_binary64
125×log-pow_binary64
120×unswap-sqr_binary64
110×sqr-pow_binary64
104×diff-log_binary64
100×*-commutative_binary64
98×cube-prod_binary64
87×clear-num_binary64 pow-unpow_binary64 frac-2neg_binary64
75×log-div_binary64
73×associate-/l/_binary64
58×swap-sqr_binary64 div-sub_binary64
56×pow-pow_binary64 associate--l+_binary64
53×distribute-rgt-in_binary64 distribute-lft-in_binary64
49×associate--r+_binary64
48×cbrt-div_binary64
45×pow1/3_binary64
42×sqrt-pow1_binary64
40×pow1/2_binary64 difference-of-sqr-1_binary64
35×rem-sqrt-square_binary64
33×rem-log-exp_binary64
31×sum-log_binary64
29×associate--l-_binary64
28×exp-prod_binary64
25×pow-sqr_binary64 +-commutative_binary64 pow-prod-up_binary64
24×unpow2_binary64
23×sin-diff_binary64
21×frac-sub_binary64
20×cube-div_binary64 pow-plus_binary64
19×cos-diff_binary64
18×unpow3_binary64 cube-mult_binary64 pow2_binary64
17×sin-mult_binary64
16×rem-cube-cbrt_binary64
14×difference-of-sqr--1_binary64 associate--r-_binary64
13×acos-asin_binary64
12×tan-quot_binary64
11×sin-cos-mult_binary64
9×asin-acos_binary64 cos-sum_binary64
8×sinh-def_binary64 sinh-undef_binary64
7×cosh-undef_binary64 pow-flip_binary64 distribute-rgt-out_binary64 associate-+r+_binary64 inv-pow_binary64 distribute-rgt-out--_binary64
6×difference-cubes_binary64 associate-+r-_binary64
5×rem-cbrt-cube_binary64 sin-sum_binary64
4×cos-mult_binary64 tanh-def-a_binary64 tanh-def-b_binary64 distribute-frac-neg_binary64 tanh-def-c_binary64
3×distribute-rgt1-in_binary64 associate-+l-_binary64 acos-neg_binary64 exp-to-pow_binary64
2×exp-diff_binary64 pow-sub_binary64 sub-div_binary64 un-div-inv_binary64
1×sqrt-unprod_binary64 exp-sum_binary64 tanh-undef_binary64 div0_binary64 distribute-neg-frac_binary64 associate-+l+_binary64 cube-unmult_binary64 distribute-lft-neg-out_binary64

regimes5.7s (1.5%)

Accuracy

Total 19.6b remaining (7%)

Threshold costs 7.5b (2.7%)

5.3b51.9%Quotient of products
2.2b0%Quadratic roots, medium range
2.2b0%Quadratic roots, wide range
1.3b89.4%Quadratic roots, full range
1.1b90.6%Cubic critical

localize2.2s (0.6%)

bsearch328.0ms (0.1%)

end2.0ms (0.0%)

Profiling

Loading profile data...