Date:Friday, July 3rd, 2020
Commit:8652dc03 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020185
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 (72.0%)

Algorithm
78×intervals
Results
1.6min13635×body5120exit
44.5s43605×body1280valid
18.2s7174×body1280overflowed
14.3s30194×body640valid
11.8s59656×body80overflowed
9.1s6755×body640overflowed
8.7s179957×body80valid
6.1s27394×body320valid
4.7s194635×pre80true
4.3s36190×body160valid
2.5s3210×body320overflowed
1.0s3065×body2560valid
734.0ms1674×body160overflowed
579.0ms3107×body2560nan
502.0ms9427×body80nan
410.0ms2611×body1280nan
352.0ms5389×body80invalid
219.0ms455×body640invalid
206.0ms295×body1280invalid
171.0ms211×body5120valid
170.0ms1368×body640nan
80.0ms251×body320invalid
60.0ms647×body320nan
25.0ms113×body160invalid
20.0ms314×body160nan
2.0ms125×pre80false

analyze29.8s (9.2%)

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

prune22.3s (6.9%)

Filtered
12537 candidates to 8582 candidates (31.5%)

regimes13.3s (4.1%)

Accuracy

Total 50.7b remaining (30.7%)

Threshold costs 5.6b (3.4%)

11.3b30.5%Equirectangular approximation to distance on a great circle
8.1b40.5%Quadratic roots, narrow range
6.1b11.7%Quadratic roots, medium range
5.7b49.6%Quotient of products
5.0b82.3%Quadratic roots, full range

simplify12.2s (3.8%)

Algorithm
219×egg-herbie

series6.7s (2.1%)

Calls

460 calls:

187.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)))
143.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
139.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cbrt (* (pow (cos (/ (+ phi1 phi2) 2.0)) 2) (pow (cos (/ (+ phi1 phi2) 2.0)) 2))) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 2))))) (* (- phi1 phi2) (- phi1 phi2))))
138.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 6)))) (* (- phi1 phi2) (- phi1 phi2))))
135.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cos (/ (+ phi1 phi2) 2.0)) 2))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.0s (1.2%)

Algorithm
141×rewrite-expression-head
Calls

460 calls:

67.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (pow (exp -2.0) x)))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
51.0ms
(- (/ (- (neg 3.0) (/ 1.0 x)) x) (/ 3.0 (pow x 3)))
41.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)))
37.0ms
(log (- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5)))))
36.0ms
(- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5))))
Rules
3314×add-sqr-sqrt
3266×*-un-lft-identity
2580×times-frac
2338×add-exp-log
2237×add-cube-cbrt
1559×add-cbrt-cube
933×pow1
786×prod-exp
705×flip--
704×flip3--
692×add-log-exp
644×div-exp
557×associate-*l*
513×sqrt-prod
478×associate-*r*
453×frac-times
438×log-prod
430×sqrt-div
407×associate-*l/
405×cbrt-unprod
392×associate-/r*
368×associate-/l*
367×difference-of-squares
341×frac-add associate-*r/
308×unpow-prod-down
304×cbrt-undiv
298×pow-exp
292×distribute-lft-out--
248×distribute-lft-out
211×pow-to-exp
192×div-inv
182×pow-prod-down
177×cbrt-prod
172×associate-/r/
148×flip-+
147×flip3-+
139×unswap-sqr
120×sub-neg cube-prod
116×log-pow
107×*-commutative
96×clear-num frac-2neg
95×sqr-pow
83×diff-log
82×exp-prod
78×distribute-rgt-in distribute-lft-in
77×cos-mult
72×log-div
66×associate-/l/
60×associate--l+
54×associate--r+
47×cbrt-div sum-log
46×div-sub
45×sqrt-pow1 pow1/2
44×rem-log-exp
40×1-exp
37×rem-sqrt-square
36×pow-unpow
35×cos-diff
30×cube-mult unpow3
29×+-commutative
27×pow1/3
25×distribute-rgt-neg-in swap-sqr
22×associate-+r+ sin-diff
21×tan-quot pow-pow
17×exp-sum frac-sub
15×associate-+r- associate--r-
14×acos-asin distribute-frac-neg distribute-rgt-neg-out
13×cosh-undef
12×rec-exp
11×associate--l-
10×cos-sum sin-mult
9×rem-cube-cbrt
8×cube-div acos-neg sinh-undef asin-acos
7×pow2 difference-cubes pow-plus pow3 pow-sqr pow-prod-up rem-exp-log
6×neg-sub0 sin-cos-mult distribute-neg-frac exp-diff unpow2
5×associate-+l+ associate-+l- pow-flip
4×distribute-neg-in sin-sum neg-log pow-sub
3×distribute-lft-neg-in inv-pow
2×sqrt-undiv sinh-def rem-cbrt-cube
1×tanh-undef cosh-def neg-mul-1 distribute-rgt-out sqrt-unprod tanh-def-b tanh-def-a unsub-neg sqr-cos-a sum-cubes tanh-def-c

localize2.1s (0.6%)

bsearch332.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...