Date:Thursday, July 2nd, 2020
Commit:47d1d61e on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020184
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

sample2.7min (61.3%)

Algorithm
78×intervals
Results
45.4s43783×body1280valid
42.9s6195×body5120exit
15.2s29918×body640valid
9.0s176721×body80valid
8.9s3451×body1280overflowed
6.4s27492×body320valid
5.7s28090×body80overflowed
4.5s35829×body160valid
4.2s2981×body640overflowed
3.6s142028×pre80true
1.3s1648×body320overflowed
1.0s2991×body2560valid
611.0ms3085×body2560nan
529.0ms9563×body80nan
409.0ms2525×body1280nan
399.0ms5694×body80invalid
344.0ms757×body160overflowed
228.0ms480×body640invalid
206.0ms278×body1280invalid
165.0ms1269×body640nan
114.0ms219×body5120valid
77.0ms216×body320invalid
66.0ms668×body320nan
24.0ms106×body160invalid
22.0ms323×body160nan
6.0ms1×body2560overflowed
2.0ms120×pre80false

analyze30.7s (11.7%)

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

prune27.1s (10.3%)

Filtered
14144 candidates to 9341 candidates (34.0%)

regimes15.0s (5.7%)

Accuracy

Total 42.8b remaining (27.7%)

Threshold costs 4.8b (3.1%)

11.5b31.9%Equirectangular approximation to distance on a great circle
7.7b43.5%Quadratic roots, narrow range
6.0b11.5%Quadratic roots, medium range
4.4b84.2%Quadratic roots, full range
3.6b0%Cubic critical, wide range

simplify13.7s (5.2%)

Algorithm
225×egg-herbie

series7.6s (2.9%)

Calls

486 calls:

222.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ 1 (* c_p (+ (log 0.5) (* t 0.5)))) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
194.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)))
188.0ms
(* (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n) (/ (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (* (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n) (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p))))
150.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))))
148.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.4s (1.7%)

Algorithm
147×rewrite-expression-head
Calls

486 calls:

78.0ms
(* (* (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ 1.0 x)))) (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ 1.0 x))))) (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ 1.0 x)))))
48.0ms
(* (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n) (/ (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (* (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n) (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p))))
47.0ms
(- (/ m (/ v (- 1.0 m))) 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)))
36.0ms
(- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5))))
Rules
4113×*-un-lft-identity
3964×add-sqr-sqrt
3211×times-frac
3196×add-exp-log
2525×add-cube-cbrt
1615×add-cbrt-cube
1212×prod-exp
1028×div-exp
998×pow1
810×associate-*r*
764×add-log-exp
719×flip--
718×flip3--
681×pow-exp
618×unpow-prod-down
574×associate-*l*
553×cbrt-prod
546×difference-of-squares
532×associate-/r*
524×frac-times
482×pow-to-exp
448×distribute-lft-out
439×associate-/l*
416×sqrt-div
413×associate-*l/
403×distribute-lft-out--
401×cbrt-unprod
394×frac-add
376×associate-*r/ sqrt-prod
343×cbrt-undiv
310×cube-prod
236×associate-/r/
206×div-inv
203×flip-+
202×flip3-+
186×log-prod unswap-sqr sqr-pow
179×pow-prod-down
176×cbrt-div
123×log-pow
111×clear-num frac-2neg
109×sub-neg
104×*-commutative
83×diff-log
81×cos-mult
72×sum-log
67×associate-/l/
66×sqrt-pow1
62×distribute-rgt-neg-in
59×swap-sqr
57×pow-unpow
53×cosh-undef
51×pow1/3 exp-prod
48×pow1/2
46×log-div
43×div-sub
41×+-commutative
40×cube-mult unpow3
37×distribute-rgt-in distribute-lft-in
36×rem-sqrt-square
33×cube-div
30×rem-log-exp
28×pow-prod-up
27×associate--l+ unpow2
26×cos-diff pow-pow
24×distribute-lft-neg-in
22×1-exp rec-exp
21×frac-sub associate--r+
20×sin-diff
19×associate-+r+
18×pow-sqr
14×pow-plus sin-mult
13×associate--l- neg-sub0 acos-asin
12×tan-quot
10×pow2 associate-+r- asin-acos rem-cube-cbrt
8×associate-+l+ neg-mul-1 sinh-undef distribute-rgt-neg-out
7×difference-cubes sin-cos-mult neg-log distribute-frac-neg rem-cbrt-cube
6×associate-+l- pow-flip distribute-neg-frac
5×cos-sum inv-pow associate--r-
4×distribute-neg-in exp-diff
3×e-exp-1 sinh-def un-div-inv
2×exp-sum sqrt-undiv cosh-def sqrt-unprod sin-sum sqr-cos-a sum-cubes pow-sub
1×distribute-lft-neg-out tanh-undef rem-square-sqrt tanh-def-b tanh-def-a unsub-neg pow3 tanh-def-c rem-exp-log

localize2.4s (0.9%)

bsearch427.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...