Date:Friday, July 17th, 2020
Commit:5d628957 on release-1.4
Hostname:warfa with Racket 7.5
Seed:2020199
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

sample1.8min (53.9%)

Algorithm
78×intervals
Results
43.3s43522×body1280valid
14.3s30251×body640valid
12.8s1863×body5120exit
8.0s174211×body80valid
6.2s27760×body320valid
4.1s35683×body160valid
2.8s1112×body1280overflowed
2.8s110866×pre80true
1.7s9382×body80overflowed
1.3s958×body640overflowed
1.0s3045×body2560valid
613.0ms3092×body2560nan
514.0ms9588×body80nan
436.0ms2701×body1280nan
366.0ms469×body320overflowed
330.0ms5363×body80invalid
215.0ms476×body640invalid
203.0ms297×body1280invalid
162.0ms1260×body640nan
110.0ms281×body5120valid
108.0ms255×body160overflowed
69.0ms207×body320invalid
63.0ms628×body320nan
23.0ms90×body160invalid
21.0ms310×body160nan
2.0ms120×pre80false

analyze29.7s (14.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

prune23.8s (11.7%)

Filtered
14055 candidates to 9329 candidates (33.6%)

regimes12.8s (6.3%)

Accuracy

Total 33.1b remaining (22.5%)

Threshold costs 4.3b (2.9%)

7.4b45.6%Quadratic roots, narrow range
6.2b10.6%Quadratic roots, medium range
5.1b64.4%Equirectangular approximation to distance on a great circle
3.6b0%Quadratic roots, wide range
2.8b74.5%Quotient of products

simplify12.4s (6.1%)

Algorithm
222×egg-herbie

series8.0s (3.9%)

Calls

490 calls:

296.0ms
(/ (- (* (cos delta) (cos delta)) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (sin delta) (* (cos phi1) (cos theta)))))) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (sin delta) (* (cos phi1) (cos theta)))))) (pow (sin phi1) 2)))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (cos delta) (sin phi1)) (* (sin delta) (* (cos phi1) (cos theta)))))))))
178.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)))
151.0ms
(- (* (cos delta) (cos delta)) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (sin delta) (* (cos phi1) (cos theta)))))) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (sin delta) (* (cos phi1) (cos theta)))))) (pow (sin phi1) 2))))
137.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (pow (cos (/ (+ phi1 phi2) 2.0)) 2) (- lambda1 lambda2))) (* (- phi1 phi2) (- phi1 phi2))))
137.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3))) (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.6s (2.2%)

Algorithm
144×rewrite-expression-head
Calls

490 calls:

87.0ms
(* (- (/ (/ m v) (/ 1 (- 1.0 m))) 1.0) (- 1.0 m))
84.0ms
(- (/ (/ m v) (/ 1 (- 1.0 m))) 1.0)
64.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (pow (exp -2.0) x)))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
43.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)))
41.0ms
(- (/ 1.0 (+ (pow (tan x) 2) 1.0)) (/ (pow (tan x) 2) (+ (pow (tan x) 2) 1.0)))
Rules
4540×*-un-lft-identity
4308×add-sqr-sqrt
3766×times-frac
2665×add-cube-cbrt
2661×add-exp-log
1779×add-cbrt-cube
987×pow1
921×prod-exp
773×add-log-exp
748×div-exp
694×cbrt-prod
652×flip--
651×flip3--
643×difference-of-squares
565×associate-*l*
549×associate-*r*
518×associate-*l/
495×distribute-lft-out
491×associate-/r*
485×cbrt-unprod
457×unpow-prod-down
438×associate-/l*
429×distribute-lft-out--
402×sqrt-prod
392×cbrt-undiv
370×frac-times
338×sqrt-div
325×associate-*r/
301×pow-exp
296×associate-/r/
273×frac-add
245×div-inv
230×log-prod
217×cube-prod
216×pow-to-exp
187×pow-prod-down
184×flip-+
183×flip3-+
171×cbrt-div
158×sqr-pow
154×unswap-sqr
116×sub-neg swap-sqr
110×clear-num frac-2neg
99×*-commutative
94×diff-log
88×log-pow
85×pow1/3
76×associate-/l/
72×sum-log
63×pow-unpow
55×exp-prod
54×associate--l+
53×1-exp
48×distribute-rgt-neg-in
45×sqrt-pow1 pow1/2
43×distribute-rgt-in distribute-lft-in
42×unpow3
40×log-div div-sub associate--r+
39×+-commutative
37×cube-mult
33×rem-sqrt-square cosh-undef
32×unpow2
30×rec-exp pow-prod-up
28×pow-pow
27×associate-+r+ frac-sub
25×cos-diff
24×rem-log-exp distribute-lft-neg-in
22×pow-sqr
20×distribute-rgt-neg-out
18×distribute-frac-neg
17×pow-plus sin-diff
15×associate--l-
14×neg-sub0 associate-+r-
13×pow-flip
12×pow2
11×cube-div sin-mult
10×acos-asin rem-cube-cbrt
9×sinh-def
8×neg-mul-1 sinh-undef neg-log tan-quot
7×associate-+l+
6×acos-neg cos-sum sin-cos-mult inv-pow rem-cbrt-cube
5×exp-sum distribute-rgt-out associate--r-
4×asin-acos un-div-inv associate-+l- rem-exp-log
3×sin-sum cos-mult distribute-rgt-out--
2×sqrt-unprod exp-diff
1×tanh-undef cosh-def rem-square-sqrt sub-div tanh-def-b tanh-def-a pow3 sqr-cos-a distribute-rgt1-in sum-cubes tanh-def-c

localize2.1s (1.0%)

bsearch399.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...