Date:Friday, July 10th, 2020
Commit:a8193a33 on movability-off
Hostname:warfa with Racket 7.5
Seed:2020192
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

sample3.9min (71.1%)

Algorithm
77×intervals
Results
2.4min10775×body5120exit
44.9s43535×body1280valid
14.5s29714×body640valid
8.2s174485×body80valid
5.3s23950×body320valid
3.6s31735×body160valid
3.0s107321×pre80true
967.0ms2912×body2560valid
601.0ms3081×body2560nan
555.0ms5271×body80invalid
415.0ms8209×body80nan
414.0ms2525×body1280nan
220.0ms477×body640invalid
202.0ms293×body1280invalid
156.0ms212×body5120valid
155.0ms1226×body640nan
83.0ms240×body320invalid
59.0ms613×body320nan
26.0ms103×body160invalid
21.0ms308×body160nan
3.0ms144×pre80false

analyze30.9s (9.4%)

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

prune24.2s (7.4%)

Filtered
14332 candidates to 9139 candidates (36.2%)

simplify12.5s (3.8%)

Algorithm
220×egg-herbie

regimes12.4s (3.8%)

Accuracy

Total 49.2b remaining (41.8%)

Threshold costs 4.9b (4.2%)

15.4b23.3%Equirectangular approximation to distance on a great circle
7.2b47.8%Quadratic roots, narrow range
6.2b46%Quotient of products
5.8b12.8%Quadratic roots, medium range
4.4b84.2%Cubic critical

series7.8s (2.4%)

Calls

467 calls:

237.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (cos delta) (sin phi1)) (* (cos phi1) (* (sin delta) (cos theta))))))) 3))
232.0ms
(- (pow (cos delta) 3) (* (pow (sin phi1) 3) (pow (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta)))) 3)))
174.0ms
(pow (exp 1/2) (log (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))) (* (- phi1 phi2) (- phi1 phi2)))))
168.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)))
141.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.3s (1.3%)

Algorithm
143×rewrite-expression-head
Calls

467 calls:

223.0ms
(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))
49.0ms
(- (/ 1.0 (+ (pow (tan x) 2) 1.0)) (/ (pow (tan x) 2) (+ (pow (tan x) 2) 1.0)))
39.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)))
33.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
32.0ms
(/ (/ 1 (+ (pow (tan x) 2) 1.0)) (/ 1 (- 1.0 (pow (tan x) 2))))
Rules
5217×times-frac
4985×*-un-lft-identity
4958×add-sqr-sqrt
3268×add-cube-cbrt
2467×add-exp-log
1628×add-cbrt-cube
1040×flip--
1039×flip3--
987×pow1
803×prod-exp
768×sqrt-prod
726×frac-times
707×add-log-exp
700×div-exp
682×associate-*r*
669×difference-of-squares
633×associate-*l*
610×associate-*l/
515×cbrt-prod
473×frac-add
469×associate-/r*
457×associate-*r/
454×distribute-lft-out
433×sqrt-div
422×cbrt-unprod
393×distribute-lft-out--
380×associate-/l*
338×unpow-prod-down
330×cbrt-undiv
329×log-prod
304×pow-exp
293×associate-/r/
285×div-inv
238×log-div
222×pow-to-exp
204×cbrt-div
195×pow-prod-down
182×unswap-sqr
174×swap-sqr
164×flip-+
163×flip3-+
149×sqr-pow
127×cube-prod
114×sub-neg
110×*-commutative
96×clear-num frac-2neg
87×unpow2
86×diff-log
77×cos-mult
71×associate-/l/
70×pow-unpow
67×exp-diff
66×log-pow pow-sub
59×sqrt-pow1 cosh-undef
57×pow1/2
50×1-exp rec-exp
44×sum-log div-sub
43×associate--l+
41×rem-sqrt-square
36×rem-log-exp
35×pow1/3
34×distribute-rgt-in distribute-lft-in
33×+-commutative
31×pow-pow associate--r+
29×distribute-rgt-neg-in exp-prod
27×cos-diff
26×frac-sub
21×associate-+r+ cube-mult pow-prod-up unpow3
18×sin-diff
17×pow-sqr
15×distribute-rgt-neg-out
14×cube-div exp-sum distribute-frac-neg
13×sin-mult
12×associate--l- pow-flip
11×pow2 acos-asin associate-+r- pow-plus
9×un-div-inv rem-cube-cbrt
8×cos-sum sinh-undef sin-cos-mult inv-pow tan-quot
7×neg-sub0 acos-neg
6×distribute-rgt-out--
5×unpow-prod-up associate-+l+ associate--r- neg-log
4×asin-acos associate-+l-
3×distribute-lft-neg-in sqrt-unprod sin-sum rem-cbrt-cube
2×difference-cubes sqrt-undiv sinh-def rem-square-sqrt sub-div rem-exp-log
1×tanh-undef cosh-def neg-mul-1 distribute-rgt-out tanh-def-b tanh-def-a unsub-neg sqr-cos-a tanh-def-c

localize2.2s (0.7%)

bsearch486.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...