Date:Monday, June 29th, 2020
Commit:9427dca4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020181
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.6min (45.5%)

Algorithm
77×intervals
Results
43.4s43656×body1280valid
14.1s30018×body640valid
7.9s173738×body80valid
6.0s27456×body320valid
4.4s35855×body160valid
3.8s532×body5120exit
2.5s100412×pre80true
999.0ms3039×body2560valid
712.0ms271×body1280overflowed
597.0ms3131×body2560nan
508.0ms9547×body80nan
486.0ms2970×body80overflowed
408.0ms2586×body1280nan
348.0ms5416×body80invalid
321.0ms231×body640overflowed
218.0ms315×body1280invalid
211.0ms474×body640invalid
154.0ms1239×body640nan
103.0ms126×body320overflowed
74.0ms205×body5120valid
68.0ms215×body320invalid
61.0ms659×body320nan
29.0ms100×body160invalid
29.0ms62×body160overflowed
25.0ms342×body160nan
2.0ms142×pre80false

analyze53.4s (25.6%)

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

prune21.5s (10.3%)

Filtered
13095 candidates to 8875 candidates (32.2%)

regimes11.4s (5.5%)

Accuracy

Total 24.5b remaining (21.9%)

Threshold costs 6.2b (5.5%)

10.5b34.7%Equirectangular approximation to distance on a great circle
3.3b68.7%Quotient of products
1.7b92.8%Quadratic roots, full range
1.6b93.1%Cubic critical
1.2b66.9%2-ancestry mixing, positive discriminant

simplify9.2s (4.4%)

Algorithm
214×egg-herbie

series8.1s (3.9%)

Calls

481 calls:

352.0ms
(- (* (cos delta) (cos delta)) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (cos phi1) (* (sin delta) (cos theta)))))) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (cos phi1) (* (sin delta) (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))))
144.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cos (/ (+ phi1 phi2) 2.0)) 2))) (pow (- phi1 phi2) 2)))
143.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cos (/ (+ phi1 phi2) 2.0)) 2))) (pow (- phi1 phi2) 2)))
143.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (log (exp (cos (/ (+ phi1 phi2) 2.0)))) (log (exp (cos (/ (+ phi1 phi2) 2.0))))))) (* (- phi1 phi2) (- phi1 phi2))))

bsearch4.2s (2.0%)

rewrite4.1s (1.9%)

Algorithm
138×rewrite-expression-head
Calls

481 calls:

65.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (pow (exp -2.0) x)))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
34.0ms
(log (- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5)))))
34.0ms
(+ x (+ x (- (/ 0.5 x) (/ 0.125 (pow x 3)))))
33.0ms
(cbrt (pow (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) 3))
33.0ms
(- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5))))
Rules
4045×*-un-lft-identity
3878×add-sqr-sqrt
2873×times-frac
2227×add-cube-cbrt
1788×add-exp-log
1633×add-cbrt-cube
969×pow1
814×add-log-exp
800×associate-*r*
657×difference-of-squares
652×flip--
651×flip3--
515×associate-*l*
513×distribute-lft-out--
466×prod-exp
452×sqrt-prod
437×cbrt-unprod
434×frac-times
428×associate-/r*
412×unpow-prod-down
409×associate-/l*
400×distribute-lft-out
377×log-prod
368×div-exp
351×associate-*l/
346×sqrt-div
332×cbrt-undiv
314×cbrt-prod
297×cube-prod
289×associate-*r/
280×frac-add
213×pow-prod-down
197×associate-/r/
186×div-inv
168×unswap-sqr
152×flip-+
151×flip3-+
149×sqr-pow
147×distribute-rgt-neg-in
115×*-commutative
113×sub-neg
110×associate-+l+
105×diff-log
93×clear-num frac-2neg
89×log-pow
75×cos-mult
74×sum-log
71×cbrt-div
62×associate-/l/
55×exp-prod
46×sqrt-pow1
42×pow1/2
40×+-commutative pow1/3
39×log-div
38×rem-sqrt-square div-sub
35×neg-sub0
33×pow-unpow cube-mult unpow3
32×pow-exp
30×frac-sub
28×unpow2
27×rem-log-exp pow-to-exp
26×distribute-rgt-in distribute-lft-in neg-log
22×cube-div
21×associate-+r+
20×associate--l- distribute-lft-neg-in swap-sqr
19×sin-diff associate--r+
18×associate-+l-
16×cos-diff
15×associate-+r- sin-mult
14×sin-cos-mult sin-sum tan-quot
12×1-exp
11×associate--l+ pow-pow
9×acos-asin rec-exp asin-acos pow-sqr pow-prod-up
8×difference-cubes cos-sum
7×pow-plus
6×pow2 rem-cbrt-cube rem-cube-cbrt
5×exp-sum
4×neg-mul-1 inv-pow distribute-frac-neg pow-flip
3×acos-neg distribute-neg-in distribute-rgt-out associate--r-
2×sqr-cos-a un-div-inv distribute-neg-frac exp-diff pow-sub
1×tanh-undef sqrt-unprod sub-div tanh-def-b tanh-def-a unsub-neg tanh-def-c rem-exp-log

localize2.1s (1.0%)

end2.0ms (0.0%)

Profiling

Loading profile data...