Date:Tuesday, June 30th, 2020
Commit:8ccfdff1 on old-regraph
Hostname:debbie with Racket 7.7
Seed:2020182
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.0min (39.9%)

Algorithm
77×intervals
Results
42.7s44555×body1280valid
14.1s29795×body640valid
9.6s202182×body80valid
7.9s152022×body80nan
6.5s27681×body320valid
4.9s376×body5120exit
4.6s36263×body160valid
4.1s156748×pre80true
1.0s3039×body2560valid
792.0ms15679×body80overflowed
666.0ms3103×body2560nan
451.0ms2560×body1280nan
416.0ms182×body1280overflowed
376.0ms16448×pre80false
207.0ms167×body640overflowed
181.0ms1257×body640nan
107.0ms275×body5120valid
76.0ms98×body320overflowed
65.0ms616×body320nan
22.0ms309×body160nan
17.0ms35×body160overflowed

simplify1.9min (39.1%)

prune29.3s (10.0%)

Filtered
15046 candidates to 9787 candidates (35.0%)

regimes16.3s (5.6%)

Accuracy

Total 71.3b remaining (37.5%)

Threshold costs 5.5b (2.9%)

15.5b16.2%Equirectangular approximation to distance on a great circle
8.5b36.3%Cubic critical, narrow range
7.6b43.5%Quadratic roots, narrow range
5.8b16.8%Quadratic roots, medium range
5.8b17.1%Cubic critical, medium range

series8.4s (2.8%)

Calls

484 calls:

430.0ms
(pow (exp (sqrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))) (sqrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))))
367.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
353.0ms
(/ (- (* (cos delta) (cos delta)) (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
288.0ms
(/ (* (* (sin phi1) (cos phi2)) (+ (pow (* (cos lambda2) (cos lambda1)) 3) (pow (* (sin lambda1) (sin lambda2)) 3))) (+ (* (* (cos lambda2) (cos lambda1)) (* (cos lambda2) (cos lambda1))) (- (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (* (cos lambda2) (cos lambda1)) (* (sin lambda1) (sin lambda2))))))
185.0ms
(- (* (cos delta) (cos delta)) (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))

rewrite5.1s (1.7%)

Algorithm
145×rewrite-expression-head
Calls

484 calls:

105.0ms
(* (sqrt (- (log 2) (- (+ (/ 0.09375 (pow x 4)) (/ 0.25 (pow x 2))) (log x)))) (sqrt (- (log 2) (- (+ (/ 0.09375 (pow x 4)) (/ 0.25 (pow x 2))) (log x)))))
63.0ms
(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))
59.0ms
(* (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))) (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))))
56.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
52.0ms
(log (- (- (/ 0.125 (pow x 3)) (/ 0.5 x)) (/ 0.0625 (pow x 5))))
Rules
5462×*-un-lft-identity
4687×add-sqr-sqrt
4345×times-frac
3116×add-cube-cbrt
1876×add-exp-log
1646×add-cbrt-cube
1261×sqrt-prod
1185×pow1
1166×associate-*l/
1037×flip--
1036×flip3--
887×distribute-lft-out--
784×associate-*r*
703×add-log-exp
670×frac-times
636×sqrt-div
632×associate-/r*
600×difference-of-squares
588×unpow-prod-down
586×frac-add
536×distribute-lft-out
510×div-exp
490×associate-/l*
488×associate-*l*
471×cbrt-prod
453×associate-*r/
425×cube-prod
406×cbrt-undiv
389×log-pow
388×prod-exp
334×cbrt-unprod
296×div-inv
227×associate-/r/
220×log-prod
197×sqr-pow
194×swap-sqr
190×exp-prod
177×unswap-sqr
172×flip-+
171×flip3-+
158×pow-prod-down
131×clear-num frac-2neg
118×sub-neg
107×cos-mult
104×log-div
101×sin-mult
100×associate-/l/
93×*-commutative
89×diff-log
83×frac-sub
81×cbrt-div
73×exp-diff
66×pow-unpow
58×sqrt-pow1 pow1/2 cube-mult unpow3
49×pow-exp
47×div-sub
46×pow-to-exp
41×distribute-rgt-in rem-sqrt-square distribute-lft-in pow1/3
37×pow-pow
36×sum-log
26×+-commutative associate--l+
25×1-exp rec-exp
24×cos-diff pow-prod-up
23×cube-div
22×pow-sqr
21×rem-log-exp
20×exp-sum cos-sum
19×associate--r+
18×tan-quot sin-diff unpow2
17×sub-div
16×sin-cos-mult rem-cube-cbrt
14×pow-plus
12×pow2
11×acos-asin
10×associate-+r- associate--r-
9×asin-acos
8×associate-+r+ rem-exp-log
7×difference-cubes sin-sum rem-cbrt-cube pow-flip
6×acos-neg inv-pow distribute-frac-neg
5×associate--l- associate-+l+ sqrt-undiv
2×distribute-rgt-out sqrt-unprod
1×tanh-undef sqr-cos rem-square-sqrt sqr-sin tanh-def

localize2.1s (0.7%)

bsearch359.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...