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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.7m (45.3%)

Algorithm
77×intervals
Results
36.3s43912×body1280valid
12.3s30234×body640valid
8.7s201777×body80valid
7.1s3099×body5120exit
6.7s152610×body80nan
5.7s28022×body320valid
4.0s155734×pre80true
4.0s36406×body160valid
1.0s3195×body2560valid
577.0ms3105×body2560nan
397.0ms2624×body1280nan
396.0ms11920×body80overflowed
385.0ms16489×pre80false
160.0ms1291×body640nan
83.0ms218×body5120valid
58.0ms624×body320nan
20.0ms306×body160nan

prune49.6s (22.5%)

Filtered
20128 candidates to 12608 candidates (62.6%)

series39.9s (18.1%)

Calls

474 calls:

469.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
464.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
411.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
393.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
392.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify14.1s (6.4%)

Algorithm
212×egg-herbie

regimes8.4s (3.8%)

Accuracy

Total 19.0b remaining (17.1%)

Threshold costs 7.1b (6.4%)

3.8b72.3%Equirectangular approximation to distance on a great circle
2.6b75.9%Quotient of products
1.7b93%Quadratic roots, full range
1.5b93.1%Cubic critical
1.1b0%2-ancestry mixing, zero discriminant

rewrite5.7s (2.6%)

Algorithm
136×rewrite-expression-head
Calls

474 calls:

180.0ms
(/ (/ (/ 1 (/ 2.0 4.0)) (/ 1 c)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
80.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
72.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
70.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
52.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
Rules
25573×times-frac
14966×*-un-lft-identity
14897×add-sqr-sqrt
10637×add-cube-cbrt
2099×add-exp-log
1997×difference-of-squares
1821×distribute-lft-out--
1680×add-cbrt-cube
1299×associate-/l*
1268×sqrt-prod
1170×div-inv
1038×pow1
899×flip--
898×flip3--
874×associate-*l/
858×associate-*r*
812×distribute-rgt-neg-in
766×add-log-exp
607×div-exp
592×associate-/r*
521×frac-times
492×unpow-prod-down
488×prod-exp
462×associate-/r/
457×associate-*l*
404×frac-add
398×cbrt-unprod
393×log-prod
372×cbrt-undiv
348×cube-prod cbrt-prod
346×sqrt-div
334×associate-*r/
331×distribute-lft-out
262×cbrt-div
225×pow-prod-down
204×sqr-pow
186×flip-+
185×unswap-sqr flip3-+
125×swap-sqr
119×clear-num frac-2neg
111×associate-/l/ *-commutative
108×sub-neg
95×diff-log
71×div-sub
61×sum-log
60×log-pow
59×rec-exp 1-exp
57×distribute-lft-neg-in
54×exp-sum sqrt-pow1
53×pow1/3
51×unpow3 cube-mult
50×pow1/2
45×log-div
41×+-commutative
39×unpow2
37×distribute-rgt-in distribute-lft-in
36×pow-prod-up tan-quot
33×frac-sub
32×neg-sub0 pow-exp
31×pow-to-exp
30×associate-+l-
29×exp-prod
28×rem-sqrt-square rem-log-exp
26×pow-sqr
22×sin-mult
21×pow-plus associate--l- neg-log cos-mult
19×associate--l+
18×cos-diff neg-mul-1 associate--r+ sin-diff
16×pow2
15×distribute-rgt-out
14×distribute-frac-neg
13×sin-cos-mult acos-asin
12×pow-unpow associate-+r-
11×cos-sum
10×difference-cubes
9×cube-div
8×acos-neg
7×sin-sum pow-flip associate-+r+ associate--r- distribute-rgt-neg-out
6×exp-diff rem-exp-log
5×rem-cube-cbrt inv-pow asin-acos
4×associate-+l+ pow-pow
3×sqrt-unprod distribute-rgt-out-- exp-to-pow
2×distribute-lft1-in rem-square-sqrt distribute-neg-frac rem-cbrt-cube
1×distribute-neg-out un-div-inv pow3 unsub-neg sub-div tanh-undef tanh-def mul-1-neg

localize2.2s (1.0%)

bsearch655.0ms (0.3%)

end1.0ms (0.0%)