Date:Tuesday, June 9th, 2020
Commit:8ccfdff1 on master
Hostname:warfa with Racket 7.5
Seed:2020161
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

sample1.8min (60.7%)

Algorithm
77×intervals
Results
42.6s44115×body1280valid
14.1s30023×body640valid
9.2s202146×body80valid
6.9s151411×body80nan
6.0s27295×body320valid
4.2s36108×body160valid
3.8s156200×pre80true
2.5s326×body5120exit
1.0s3041×body2560valid
788.0ms14894×body80overflowed
615.0ms3207×body2560nan
480.0ms175×body1280overflowed
405.0ms2567×body1280nan
375.0ms16741×pre80false
234.0ms157×body640overflowed
158.0ms1248×body640nan
76.0ms205×body5120valid
66.0ms75×body320overflowed
64.0ms671×body320nan
22.0ms46×body160overflowed
22.0ms337×body160nan

prune28.1s (15.5%)

Filtered
16032 candidates to 10461 candidates (34.7%)

simplify14.4s (7.9%)

Algorithm
219×egg-herbie

regimes11.9s (6.5%)

Accuracy

Total 27.5b remaining (21.4%)

Threshold costs 8.8b (6.8%)

8.2b39.3%Equirectangular approximation to distance on a great circle
3.9b86.1%Cubic critical
3.9b86.4%Quadratic roots, full range
2.7b70.2%Quotient of products
0.8b0%(- (/ x0 (- 1 x1)) x0)

series8.2s (4.5%)

Calls

490 calls:

194.0ms
(pow (pow (+ (* (sin delta) (* (cos phi1) (cos theta))) (* (sin phi1) (cos delta))) 3) 3)
143.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
142.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (* (cos (/ (+ phi1 phi2) 2.0)) (log (exp (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
141.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
140.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (cbrt (pow (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))) 3))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite5.9s (3.2%)

Algorithm
143×rewrite-expression-head
Calls

490 calls:

152.0ms
(* (cbrt (- (/ x (+ x 1.0)) (/ 1 (/ (- x 1.0) (+ x 1.0))))) (cbrt (- (/ x (+ x 1.0)) (/ 1 (/ (- x 1.0) (+ x 1.0))))))
152.0ms
(log (* (sqrt (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))) (sqrt (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))))))
77.0ms
(exp (* 2 (log (cbrt (- (/ x (+ x 1.0)) (/ 1 (/ (- x 1.0) (+ x 1.0))))))))
72.0ms
(log (cbrt (- (/ x (+ x 1.0)) (/ 1 (/ (- x 1.0) (+ x 1.0))))))
71.0ms
(- (/ x (+ x 1.0)) (/ 1 (/ (- x 1.0) (+ x 1.0))))
Rules
6251×add-sqr-sqrt
5799×*-un-lft-identity
5622×times-frac
3225×add-cube-cbrt
2207×add-exp-log
1842×add-cbrt-cube
1250×difference-of-squares
1198×pow1
1116×associate-*r*
977×sqrt-prod
933×flip--
932×flip3--
839×cbrt-prod
804×add-log-exp
799×distribute-lft-out--
764×unpow-prod-down
695×frac-times
668×associate-/l*
650×cube-prod
619×prod-exp
612×associate-*l/
609×associate-/r*
598×sqrt-div
583×associate-*l*
558×div-exp
498×cbrt-unprod
451×cbrt-undiv
436×frac-add
426×distribute-lft-out
386×log-prod
371×associate-*r/
312×sqr-pow
303×pow-prod-down
280×div-inv
258×associate-/r/
240×distribute-rgt-neg-in
211×cbrt-div
209×unswap-sqr
174×flip-+
173×flip3-+
160×cos-mult
126×swap-sqr
117×sub-neg
115×clear-num frac-2neg
112×associate-+l+ associate-/l/
111×*-commutative
99×cube-div
96×frac-sub
95×diff-log
87×log-pow
72×log-div
71×sum-log exp-prod
69×pow1/3
59×distribute-rgt-in distribute-lft-in cube-mult unpow3
54×sqrt-pow1 pow1/2
45×distribute-lft-neg-in pow-prod-up
43×+-commutative div-sub
42×exp-sum
41×1-exp pow-sqr
38×pow-exp
36×neg-sub0
34×rem-sqrt-square
33×pow-to-exp pow-unpow
30×tan-quot
24×associate-+l- unpow2
23×pow-plus neg-log
22×rem-log-exp distribute-rgt-out pow-pow
21×rec-exp sin-mult
20×difference-cubes
19×pow2 cos-diff
17×cos-sum
16×associate-+r+ sin-diff
15×neg-mul-1
13×rem-cube-cbrt
12×associate--l- sin-cos-mult associate--l+
11×sin-sum associate--r+
10×acos-asin
8×distribute-frac-neg pow-flip
7×associate-+r- associate--r- asin-acos
6×un-div-inv
5×inv-pow rem-cbrt-cube rem-exp-log
4×distribute-lft1-in
3×acos-neg distribute-rgt-out-- exp-diff
2×distribute-lft-neg-out sqrt-undiv sqrt-unprod unsub-neg distribute-rgt-neg-out
1×tanh-undef sqr-cos rem-square-sqrt sqrt-pow2 exp-to-pow sub-div tanh-def

localize2.3s (1.3%)

bsearch470.0ms (0.3%)

end1.0ms (0.0%)

Profiling

Loading profile data...