Date:Sunday, June 28th, 2020
Commit:ddc1d8f4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020180
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.5min (43.7%)

Algorithm
77×intervals
Results
44.1s43679×body1280valid
14.2s29881×body640valid
7.8s173605×body80valid
6.2s27212×body320valid
4.3s36130×body160valid
2.4s97867×pre80true
1.6s220×body5120exit
1.0s3095×body2560valid
574.0ms3031×body2560nan
499.0ms9311×body80nan
399.0ms2562×body1280nan
348.0ms5221×body80invalid
314.0ms116×body1280overflowed
224.0ms1750×body80overflowed
215.0ms471×body640invalid
212.0ms294×body1280invalid
165.0ms112×body640overflowed
154.0ms1219×body640nan
88.0ms237×body5120valid
73.0ms223×body320invalid
58.0ms628×body320nan
48.0ms59×body320overflowed
26.0ms118×body160invalid
22.0ms343×body160nan
18.0ms41×body160overflowed
2.0ms109×pre80false

analyze54.8s (25.9%)

Algorithm
77×search
Search
TrueOtherFalseIter
0%71.8%28.2%0
2.6%69.2%28.2%1
6.8%65%28.2%2
15.5%53.7%30.8%3
21.8%44.3%33.9%4
26.8%37.5%35.7%5
28.8%33.4%37.8%6
30.5%30.4%39.1%7
31.4%28.8%39.8%8
33.4%25.9%40.7%9
33.9%24.9%41.2%10
34.6%23.8%41.6%11
35.4%22.5%42%12
36.4%21.3%42.3%13
36.7%20.7%42.5%14

prune25.9s (12.3%)

Filtered
13941 candidates to 9491 candidates (31.9%)

regimes12.0s (5.7%)

Accuracy

Total 18.0b remaining (15.4%)

Threshold costs 6.2b (5.3%)

4.0b71.5%Equirectangular approximation to distance on a great circle
2.6b77%Quotient of products
1.6b93.1%Quadratic roots, full range
1.4b94.2%Cubic critical
1.1b80.5%2-ancestry mixing, positive discriminant

simplify9.9s (4.7%)

Algorithm
215×egg-herbie

series8.2s (3.9%)

Calls

483 calls:

275.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)))))))))
202.0ms
(cbrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
196.0ms
(cbrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
161.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
150.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.2s (2.0%)

Algorithm
139×rewrite-expression-head
Calls

483 calls:

52.0ms
(+ (neg (* 2 (log (cbrt x)))) (log (+ (/ 1.0 (cbrt x)) (/ (sqrt (- 1.0 (* x x))) (cbrt x)))))
37.0ms
(/ (* (- 1.0 m) (* (+ m 1.0) (- (* (* (- 1.0 m) (/ m v)) (* (- 1.0 m) (/ m v))) (* 1.0 1.0)))) (* (+ m 1.0) (+ 1.0 (* (- 1.0 m) (/ m v)))))
35.0ms
(log (- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5)))))
34.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))
34.0ms
(- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5))))
Rules
3922×*-un-lft-identity
3877×add-sqr-sqrt
3167×times-frac
2463×add-cube-cbrt
1815×add-exp-log
1640×add-cbrt-cube
1498×flip--
1497×flip3--
1298×frac-times
1021×pow1
879×associate-*l/
821×frac-add
791×add-log-exp
740×associate-*r*
721×associate-*r/
632×sqrt-div
536×associate-/r*
528×difference-of-squares
472×distribute-lft-out--
453×prod-exp
441×cbrt-prod
427×associate-/l*
420×cbrt-unprod
394×div-exp associate-*l*
364×cos-mult
350×sqrt-prod
345×cbrt-div
335×cbrt-undiv
324×unpow-prod-down
263×distribute-lft-out
234×pow-prod-down
220×associate-/r/
216×div-inv
211×cube-prod
199×distribute-rgt-neg-in
195×log-prod
168×flip-+
167×flip3-+
148×unswap-sqr
128×log-pow
124×exp-prod
117×sub-neg
104×clear-num *-commutative frac-2neg
100×associate-/l/
98×diff-log
80×sqr-pow
68×sum-log
54×pow1/3
45×pow-unpow cube-mult
44×unpow3
43×pow-exp
42×distribute-lft-neg-in sqrt-pow1 pow1/2
41×div-sub
38×rem-sqrt-square
37×+-commutative log-div swap-sqr
34×neg-sub0
30×pow-to-exp
29×distribute-rgt-in distribute-lft-in
28×frac-sub
25×associate--l+
24×1-exp neg-log
23×rem-log-exp
22×pow-pow
21×associate--l- associate-+r+ rec-exp associate-+l-
18×cos-diff associate-+l+ tan-quot
17×cube-div pow-sqr sin-diff pow-prod-up
15×neg-mul-1
14×rem-cube-cbrt
12×distribute-neg-in associate-+r- tanh-def-b tanh-def-a tanh-def-c unpow2
11×pow-plus
10×pow-flip
9×pow2 acos-asin sin-cos-mult inv-pow
8×cos-sum
7×asin-acos sin-mult
6×rem-cbrt-cube
5×distribute-frac-neg un-div-inv
4×distribute-rgt-out-- exp-diff
3×exp-sum acos-neg distribute-rgt-out
2×sin-sum associate--r-
1×tanh-undef sqrt-unprod sub-div unsub-neg associate--r+ rem-exp-log

localize2.1s (1.0%)

bsearch1.7s (0.8%)

end2.0ms (0.0%)

Profiling

Loading profile data...