Date:Wednesday, July 22nd, 2020
Commit:750605db on cleanup
Hostname:warfa with Racket 7.5
Seed:2020204
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

Time bar (total: 3.2min)

sample1.6min (48.6%)

Algorithm
77×intervals
Results
43.2s43257×body1280valid
14.4s30445×body640valid
7.8s173716×body80valid
6.1s27264×body320valid
4.1s35913×body160valid
2.8s377×body5120exit
2.5s99379×pre80true
980.0ms3045×body2560valid
609.0ms228×body1280overflowed
579.0ms3145×body2560nan
490.0ms9471×body80nan
396.0ms2537×body80overflowed
393.0ms2573×body1280nan
351.0ms5376×body80invalid
271.0ms194×body640overflowed
233.0ms327×body1280invalid
198.0ms426×body640invalid
154.0ms1291×body640nan
98.0ms261×body5120valid
88.0ms108×body320overflowed
73.0ms231×body320invalid
63.0ms638×body320nan
28.0ms115×body160invalid
22.0ms52×body160overflowed
21.0ms333×body160nan
2.0ms111×pre80false

prune31.0s (16.1%)

analyze30.1s (15.6%)

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

regimes12.1s (6.3%)

Accuracy

Total 41.9b remaining (27.6%)

Threshold costs 4.9b (3.2%)

9.4b3488.4%Equirectangular approximation to distance on a great circle
7.6b4559.6%Quadratic roots, narrow range
6.0b1055.3%Quadratic roots, medium range
4.6b8395.5%Quadratic roots, full range
3.4b0%Quadratic roots, wide range

simplify11.6s (6%)

Algorithm
212×egg-herbie

series7.5s (3.9%)

Calls

447 calls:

212.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (/ (* (/ (- (* lambda1 lambda1) (* lambda2 lambda2)) (cbrt (+ lambda1 lambda2))) (/ (cos (/ (+ phi1 phi2) 2.0)) (cbrt (+ lambda1 lambda2)))) (cbrt (+ lambda1 lambda2)))) (* (- phi1 phi2) (- phi1 phi2))))
192.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (/ (* (cos (/ (+ phi1 phi2) 2.0)) (- (* lambda1 lambda1) (* lambda2 lambda2))) (+ lambda1 lambda2))) (* (- phi1 phi2) (- phi1 phi2))))
143.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) (* (cos (/ (+ phi1 phi2) 2.0)) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
139.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.2s (2.2%)

Algorithm
136×rewrite-expression-head
Rules
3777×*-un-lft-identity
3437×add-sqr-sqrt
2378×times-frac
1981×add-cube-cbrt
1718×add-exp-log
1526×add-cbrt-cube
928×pow1
679×associate-*r*
660×add-log-exp
629×associate-*l*
615×flip--
614×flip3--
559×cbrt-prod
555×unpow-prod-down
525×difference-of-squares
504×associate-*l/
496×prod-exp
459×distribute-lft-out--
447×cbrt-unprod
445×sqrt-prod
411×distribute-lft-out
409×frac-times
400×cube-prod
369×associate-*r/
368×sqrt-div
333×div-exp
302×associate-/r*
297×cbrt-undiv
292×associate-/l*
281×frac-add
199×pow-prod-down
186×associate-/r/
180×unswap-sqr
164×exp-prod
162×log-prod
161×flip-+
160×flip3-+ div-inv
132×log-pow
118×cbrt-div
115×sqr-pow
111×*-commutative
104×swap-sqr
94×sub-neg
83×pow1/3
82×clear-num frac-2neg
72×pow-pow
61×diff-log
58×associate-/l/
52×distribute-rgt-in sum-log distribute-lft-in
51×pow-unpow
46×sqrt-pow1 pow1/2
38×+-commutative
37×div-sub
35×pow-exp
32×unpow2
29×log-div
28×pow-to-exp rem-sqrt-square
27×rem-log-exp
25×pow-prod-up
21×pow-sqr
20×associate-+r+
19×cube-div
18×1-exp sin-diff
16×cos-diff cube-mult unpow3
15×acos-asin
14×associate--l+
13×distribute-rgt-neg-out
12×pow2 pow-plus tan-quot sin-mult
11×sin-sum tanh-def-b tanh-def-a cosh-undef tanh-def-c
10×distribute-rgt-neg-in
9×cos-sum sinh-def distribute-frac-neg rec-exp rem-cube-cbrt
8×frac-sub sinh-undef
7×neg-sub0
6×associate--l- associate--r- neg-log pow-flip
5×associate-+r- associate-+l- exp-diff
4×exp-sum difference-cubes inv-pow distribute-rgt-out-- associate--r+
3×acos-neg associate-+l+ sqrt-unprod rem-exp-log
2×sqrt-undiv rem-square-sqrt sin-cos-mult asin-acos cos-mult un-div-inv rem-cbrt-cube
1×tanh-undef distribute-rgt-out unpow1/3 sub-div unsub-neg sum-cubes
Calls

447 calls:

222.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
110.0ms
(log (exp (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))))
105.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
105.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
104.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))

localize2.1s (1.1%)

bsearch363.0ms (0.2%)

end1.0ms (0%)

Profiling

Loading profile data...