Date:Saturday, June 27th, 2020
Commit:830c07fe on fix-unfold-let
Hostname:warfa with Racket 7.5
Seed:2020179
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample2.2min (65.7%)

Algorithm
78×intervals
Results
42.7s43640×body1280valid
17.2s2458×body5120exit
14.8s30716×body640valid
8.8s202930×body80valid
6.7s151844×body80nan
5.9s27461×body320valid
4.1s36160×body160valid
4.1s171393×pre80true
3.5s1356×body1280overflowed
2.5s24436×body80overflowed
1.6s1175×body640overflowed
1.0s3063×body2560valid
572.0ms3050×body2560nan
449.0ms576×body320overflowed
406.0ms2595×body1280nan
366.0ms16752×pre80false
157.0ms1272×body640nan
128.0ms301×body160overflowed
80.0ms203×body5120valid
64.0ms671×body320nan
22.0ms318×body160nan

prune29.4s (14.6%)

Filtered
15421 candidates to 10351 candidates (32.9%)

regimes13.6s (6.8%)

Accuracy

Total 26.2b remaining (21.4%)

Threshold costs 6.5b (5.3%)

6.9b58.7%Equirectangular approximation to distance on a great circle
4.8b83.1%Quadratic roots, full range
4.6b83.7%Cubic critical
2.2b79.1%Quotient of products
1.2b61.6%2-ancestry mixing, positive discriminant

simplify10.4s (5.1%)

Algorithm
224×egg-herbie

series8.3s (4.1%)

Calls

512 calls:

192.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
186.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
146.0ms
(- (* (cos delta) (cos delta)) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (cos phi1) (* (sin delta) (cos theta)))))) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (cos phi1) (* (sin delta) (cos theta)))))) (pow (sin phi1) 2))))
140.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
137.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.8s (2.4%)

Algorithm
146×rewrite-expression-head
Calls

512 calls:

72.0ms
(- (/ (neg (+ (/ 1.0 x) 3.0)) x) (/ 3.0 (pow x 3)))
51.0ms
(+ (neg (log (sqrt x))) (log (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))))
43.0ms
(+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))
42.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
40.0ms
(/ 1 (- (/ (neg b) c) (/ (sqrt (- (* b b) (* 3.0 (* a c)))) c)))
Rules
5454×*-un-lft-identity
4877×times-frac
4855×add-sqr-sqrt
3297×add-cube-cbrt
2271×add-exp-log
1484×add-cbrt-cube
1372×unpow-prod-down
1112×pow1
808×add-log-exp
697×prod-exp
692×associate-*l*
656×sqrt-prod
644×distribute-lft-out
637×associate-*r*
608×div-exp
583×associate-/l*
575×difference-of-squares
566×flip--
565×flip3--
511×associate-/r*
466×cbrt-prod
455×distribute-lft-out--
424×log-prod
346×frac-times
339×associate-/r/
328×associate-*l/
323×pow-exp
322×cbrt-unprod
319×sqrt-div
314×div-inv
271×associate-*r/
269×cbrt-undiv
259×flip-+
258×flip3-+
246×cube-prod
242×frac-add
230×pow-to-exp
224×pow-prod-down
219×sqr-pow
172×unswap-sqr
135×distribute-rgt-neg-in
126×sub-neg
123×swap-sqr
115×*-commutative
111×clear-num frac-2neg
104×associate-/l/
96×sqrt-pow1
93×associate-+r+
89×diff-log log-pow
80×cbrt-div
79×sum-log
75×cos-mult
71×distribute-lft-neg-in
68×div-sub
61×log-div
57×pow1/2
54×+-commutative
50×distribute-rgt-in distribute-lft-in
49×associate--l+
48×exp-prod
45×pow-unpow cube-mult unpow3
43×pow1/3
34×rem-sqrt-square
33×distribute-frac-neg
31×rem-log-exp
30×pow-prod-up associate--r+
28×1-exp
24×pow-sqr
23×cube-div
21×associate-+l+ tan-quot rec-exp pow-pow
20×associate-+r-
19×frac-sub sin-diff
16×neg-sub0 cos-diff cos-sum
15×pow-plus sin-sum
14×pow2 sub0-neg
13×neg-mul-1 sin-mult rem-cube-cbrt
12×acos-asin
11×associate--l-
10×associate-+l-
9×exp-sum pow-flip
8×distribute-rgt-out exp-diff
7×neg-log
6×distribute-neg-in inv-pow associate--r- asin-acos rem-cbrt-cube
5×acos-neg distribute-rgt-out--
4×un-div-inv distribute-neg-frac unpow2
3×sin-cos-mult sqrt-unprod
2×exp-neg sqr-cos rem-square-sqrt sub-div distribute-rgt-neg-out rem-exp-log
1×distribute-lft-neg-out difference-cubes tanh-undef sqrt-undiv sum-cubes tanh-def

localize2.2s (1.1%)

bsearch385.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...