Date:Wednesday, July 8th, 2020
Commit:0b6aac6b on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020190
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.9min (54.2%)

Algorithm
78×intervals
Results
43.7s43483×body1280valid
18.1s2549×body5120exit
14.2s30121×body640valid
8.0s174711×body80valid
6.0s27363×body320valid
4.1s36052×body160valid
3.5s1378×body1280overflowed
2.8s114946×pre80true
2.2s11805×body80overflowed
1.8s1345×body640overflowed
1.0s3072×body2560valid
565.0ms2988×body2560nan
520.0ms667×body320overflowed
486.0ms9296×body80nan
387.0ms2519×body1280nan
338.0ms5228×body80invalid
213.0ms307×body1280invalid
209.0ms459×body640invalid
160.0ms1294×body640nan
138.0ms329×body160overflowed
80.0ms258×body320invalid
78.0ms200×body5120valid
59.0ms642×body320nan
31.0ms130×body160invalid
21.0ms332×body160nan
2.0ms113×pre80false

analyze30.0s (14.0%)

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

prune28.3s (13.1%)

Filtered
14030 candidates to 9155 candidates (34.7%)

simplify12.8s (6.0%)

Algorithm
222×egg-herbie

regimes12.6s (5.9%)

Accuracy

Total 46.1b remaining (28.7%)

Threshold costs 5.7b (3.6%)

14.4b13.2%Equirectangular approximation to distance on a great circle
7.2b47.5%Quadratic roots, narrow range
6.8b0%Quadratic roots, medium range
4.5b84.1%Quadratic roots, full range
3.5b0%Quadratic roots, wide range

series7.5s (3.5%)

Calls

482 calls:

180.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)))
172.0ms
(/ (* (sin phi1) (+ (pow (* (cos lambda1) (cos lambda2)) 3) (pow (* (sin lambda1) (sin lambda2)) 3))) (+ (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (- (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
142.0ms
(/ (+ (* (pow x 6) (pow 2.0 3)) (pow (+ (* (- x (pow (/ x 1.0) 2)) 2.0) (log 1.0)) 3)) (+ (* 2.0 (* 2.0 (pow x 4))) (* (+ (* (- x (pow (/ x 1.0) 2)) 2.0) (log 1.0)) (+ (log 1.0) (* 2.0 (* (* (cbrt (- x (+ (pow (/ x 1.0) 2) (* x x)))) (cbrt (- x (+ (pow (/ x 1.0) 2) (* x x))))) (cbrt (- x (+ (pow (/ x 1.0) 2) (* x x))))))))))
139.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
138.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6)) 3))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.7s (2.2%)

Algorithm
144×rewrite-expression-head
Calls

482 calls:

121.0ms
(- (pow (pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3) 3) (pow (pow 1.0 3) 3))
60.0ms
(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))
50.0ms
(- (pow (pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3) 6) (pow (pow 1.0 3) 6))
50.0ms
(/ (* (sin phi1) (+ (pow (* (cos lambda1) (cos lambda2)) 3) (pow (* (sin lambda1) (sin lambda2)) 3))) (+ (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (- (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
40.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)))
Rules
4099×add-sqr-sqrt
3968×*-un-lft-identity
2952×times-frac
2542×add-exp-log
2391×add-cube-cbrt
1724×add-cbrt-cube
1005×pow1
945×unpow-prod-down
942×flip--
941×flip3--
875×prod-exp
749×difference-of-squares
717×add-log-exp
692×div-exp
658×frac-times
642×associate-*l/
634×cube-prod
633×associate-*l* sqrt-prod
568×sqrt-div
556×associate-*r*
522×frac-add
505×associate-*r/
478×cbrt-unprod
410×distribute-lft-out
403×associate-/l*
394×associate-/r*
372×distribute-lft-out--
348×cbrt-undiv
340×cbrt-prod
323×pow-exp
293×associate-/r/
287×log-prod
272×sqr-pow
223×pow-to-exp
211×pow-prod-down
208×flip-+
207×flip3-+
199×div-inv
175×cos-mult
152×unswap-sqr
120×sub-neg
115×log-pow
107×*-commutative
98×clear-num frac-2neg
94×associate-/l/ exp-prod
92×sin-mult
79×frac-sub diff-log
72×pow-unpow
55×log-div
52×associate--l+
49×sqrt-pow1 1-exp
48×sum-log
47×pow1/2
45×associate--r+
43×rem-sqrt-square
42×div-sub
39×cbrt-div
37×rem-log-exp distribute-rgt-in distribute-lft-in
36×pow1/3
35×cosh-undef
31×+-commutative cube-mult unpow3
29×distribute-rgt-neg-in swap-sqr
28×pow-pow
25×cube-div
22×rem-cube-cbrt
21×rec-exp unpow2
20×sin-diff
19×cos-diff
15×sub-div
13×exp-sum
12×associate--l- acos-asin
11×cos-sum associate-+r+ associate--r- pow-sqr pow-prod-up
9×difference-cubes
8×neg-sub0 sinh-def associate-+r- pow-plus sinh-undef tan-quot distribute-frac-neg
7×pow2 pow-flip
6×asin-acos distribute-rgt-neg-out associate-+l-
5×acos-neg sin-cos-mult neg-log rem-exp-log
4×inv-pow sin-sum un-div-inv rem-cbrt-cube exp-diff
2×associate-+l+ sqrt-undiv pow-sub
1×tanh-undef distribute-rgt-out sqrt-unprod tanh-def-b tanh-def-a sqr-cos-a sum-cubes distribute-rgt-out-- tanh-def-c

localize2.2s (1.0%)

bsearch367.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...