Date:Saturday, June 27th, 2020
Commit:b87e82bf on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020179
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 (46.2%)

Algorithm
78×intervals
Results
43.7s43431×body1280valid
14.5s2094×body5120exit
14.2s30255×body640valid
8.1s174665×body80valid
6.0s27292×body320valid
4.1s35857×body160valid
3.0s1188×body1280overflowed
2.7s111931×pre80true
1.8s10017×body80overflowed
1.4s1066×body640overflowed
998.0ms3096×body2560valid
566.0ms3094×body2560nan
498.0ms9501×body80nan
423.0ms548×body320overflowed
400.0ms2613×body1280nan
352.0ms5332×body80invalid
218.0ms330×body1280invalid
198.0ms439×body640invalid
162.0ms1356×body640nan
113.0ms259×body160overflowed
107.0ms233×body5120valid
71.0ms227×body320invalid
56.0ms608×body320nan
23.0ms110×body160invalid
19.0ms292×body160nan
2.0ms124×pre80false

analyze57.9s (24.0%)

Algorithm
78×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.8s (11.5%)

Filtered
15186 candidates to 10172 candidates (33.0%)

regimes11.4s (4.7%)

Accuracy

Total 26.8b remaining (21.8%)

Threshold costs 8.3b (6.8%)

7.0b57%Equirectangular approximation to distance on a great circle
5.4b54.4%Quotient of products
4.6b84.1%Quadratic roots, full range
1.5b93.6%Cubic critical
1.0b81.5%2-ancestry mixing, positive discriminant

simplify10.0s (4.2%)

Algorithm
221×egg-herbie

series8.2s (3.4%)

Calls

492 calls:

201.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)))
181.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)))
136.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
135.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
129.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2))) (* (cos (/ (+ phi1 phi2) 2.0)) (cbrt (- lambda1 lambda2))))) (* (- phi1 phi2) (- phi1 phi2))))

bsearch7.6s (3.2%)

rewrite4.7s (2.0%)

Algorithm
143×rewrite-expression-head
Calls

492 calls:

210.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
68.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2))) (* (cos (/ (+ phi1 phi2) 2.0)) (cbrt (- lambda1 lambda2))))) (* (- phi1 phi2) (- phi1 phi2))))
57.0ms
(/ (- (/ 8.0 (pow (+ 1.0 (pow (exp -2.0) x)) 3)) 1.0) (+ 1.0 (+ (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) (/ 4.0 (pow (+ 1.0 (pow (exp -2.0) x)) 2)))))
39.0ms
(- (/ 1.0 (+ (pow (tan x) 2) 1.0)) (/ (pow (tan x) 2) (+ (pow (tan x) 2) 1.0)))
39.0ms
(/ (- (pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3) (pow 1.0 3)) (+ (* 1.0 1.0) (* (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) (+ 1.0 (/ 2.0 (+ 1.0 (pow (exp -2.0) x)))))))
Rules
5196×*-un-lft-identity
4945×add-sqr-sqrt
4204×times-frac
2817×add-cube-cbrt
2621×add-exp-log
1916×flip--
1915×flip3--
1754×frac-times
1654×add-cbrt-cube
1326×cbrt-div
1252×associate-*l/
1246×associate-*r/
966×pow1
956×sqrt-div
934×sqrt-prod
908×difference-of-squares
903×prod-exp
852×frac-add
807×add-log-exp
721×div-exp
702×associate-*r*
600×distribute-lft-out--
587×distribute-lft-out
583×associate-/r*
484×associate-/l*
463×associate-*l*
458×unpow-prod-down
443×cbrt-unprod
355×cbrt-undiv
353×pow-exp
273×log-prod
264×cbrt-prod
259×associate-/r/
258×pow-to-exp
256×cube-prod
223×div-inv
201×sqr-pow
199×exp-prod
195×pow-prod-down
168×log-pow
158×flip-+
157×flip3-+
155×unswap-sqr
149×distribute-rgt-neg-in
120×sub-neg
112×*-commutative
108×clear-num frac-2neg
94×diff-log
81×cos-mult
77×associate-/l/
72×pow-unpow
68×sum-log
61×unpow2
50×div-sub
49×sqrt-pow1
47×pow1/2
46×log-div
42×pow-pow
39×+-commutative rem-sqrt-square
37×neg-sub0 pow1/3
35×1-exp rec-exp
33×rem-log-exp
28×distribute-rgt-in distribute-lft-in neg-log
26×cube-mult unpow3
22×swap-sqr
19×cube-div cos-diff associate-+r-
18×associate--l-
17×sin-diff associate-+l-
16×pow-flip
15×frac-sub
14×associate-+r+
11×acos-asin inv-pow
10×sin-mult
9×rem-cube-cbrt
8×cos-sum associate--l+ tan-quot sum-cubes exp-diff
7×unsub-neg
6×pow-sqr un-div-inv pow-prod-up distribute-neg-frac
5×pow2 difference-cubes acos-neg pow-plus sin-cos-mult distribute-frac-neg rem-cbrt-cube rem-exp-log
4×exp-sum distribute-neg-in sin-sum tanh-def-b tanh-def-a distribute-rgt-out-- tanh-def-c
3×distribute-lft-neg-in distribute-rgt-out associate--r+
2×associate-+l+ distribute-rgt-neg-out
1×tanh-undef neg-mul-1 sqrt-unprod sub-div sqr-cos-a asin-acos

localize2.1s (0.9%)

end2.0ms (0.0%)

Profiling

Loading profile data...