Index of /reports/herbie/1757295934:grow-libm:80dbee5c/iter2/
../
0-sqrtPI/ 08-Sep-2025 01:45 -
1-sqrtfabslog1z0/ 08-Sep-2025 01:45 -
10-sinz0125663709640502932000000000000000/ 08-Sep-2025 01:45 -
100-PIz0/ 08-Sep-2025 01:45 -
101-1cos2atanz1z2tanPIPIz012PIz1z1z1/ 08-Sep-2025 01:45 -
102-1cos2atanz1z2tanPIz0z012z1z1z1/ 08-Sep-2025 01:45 -
103-1cosatantanz2z212PIz0z12z0z0z0/ 08-Sep-2025 01:45 -
104-1z0z01z1z0z01z12logz0/ 08-Sep-2025 01:45 -
105-1z0z02logz0PI1z1z0z01z1/ 08-Sep-2025 01:45 -
106-1z0z02logz01z1z0z01z1PI/ 08-Sep-2025 01:45 -
107-4z053333333333333332000000000000000z1/ 08-Sep-2025 01:45 -
108-2122065862260549400000000000000005526213162..> 08-Sep-2025 01:45 -
109-2z0z01333333333333333310000000000000000z0z0z0/ 08-Sep-2025 01:45 -
11-sinz0PI/ 08-Sep-2025 01:45 -
110-12z014333333333333333310000000000000000z0z3..> 08-Sep-2025 01:45 -
111-1exp78539818525314332500000000000000z01exp7..> 08-Sep-2025 01:45 -
112-1cos2atanz1z2tanPIz0z012z2z2z2/ 08-Sep-2025 01:45 -
113-1cosatantanz2z212PIz0z12z1z1z1/ 08-Sep-2025 01:45 -
114-log1z0z3z4z4z1z2z2/ 08-Sep-2025 01:45 -
115-log1z0z4z3z3z2z2z1/ 08-Sep-2025 01:45 -
116-1z0exp78539818525314332500000000000000z111z..> 08-Sep-2025 01:45 -
117-z0z021333333333333333310000000000000000z0z0z0/ 08-Sep-2025 01:45 -
118-z0z01333333333333333310000000000000000z0z0/ 08-Sep-2025 01:45 -
119-z021333333333333333310000000000000000z0z0z0..> 08-Sep-2025 01:45 -
12-sinz0PIPI/ 08-Sep-2025 01:45 -
120-z1z01z2/ 08-Sep-2025 01:45 -
121-z0533333333333333320000000000000004z1/ 08-Sep-2025 01:45 -
122-397887351690191750000000000000000z155262131..> 08-Sep-2025 01:45 -
123-212206586226054940000000000000000z155262131..> 08-Sep-2025 01:45 -
124-2z01333333333333333310000000000000000z0z0/ 08-Sep-2025 01:45 -
125-exp333333333333333310000000000000000z0z1994..> 08-Sep-2025 01:45 -
126-55262131620006925000000000000000z0z12122065..> 08-Sep-2025 01:45 -
127-sin1z2z1z3sinz2z1z0sinz1/ 08-Sep-2025 01:45 -
128-expz0z1333333333333333310000000000000000181..> 08-Sep-2025 01:45 -
129-99471839180717325000000000000000z1exp333333..> 08-Sep-2025 01:45 -
13-sinPIz0/ 08-Sep-2025 01:45 -
130-exp333333333333333310000000000000000z1z0z0P..> 08-Sep-2025 01:45 -
131-14z0333333333333333310000000000000000z012z0..> 08-Sep-2025 01:45 -
132-exp333333333333333310000000000000000z1z0348..> 08-Sep-2025 01:45 -
133-z2z0z1z1/ 08-Sep-2025 01:45 -
134-z1z2z0z0z0sinh1z0expz4z3z0/ 08-Sep-2025 01:45 -
135-z1z0z2/ 08-Sep-2025 01:45 -
136-z1z0z2z2/ 08-Sep-2025 01:45 -
137-z1z0z0z11cosatantanz3z312PIz0z221212/ 08-Sep-2025 01:45 -
138-z1z0z01cos2atanz0z3tanPIz2z2121z1/ 08-Sep-2025 01:45 -
139-z0z0z3z4z4z1z2z2/ 08-Sep-2025 01:45 -
14-sinPIz0z0/ 08-Sep-2025 01:45 -
140-PIz0z1/ 08-Sep-2025 01:45 -
141-PI12z014z1/ 08-Sep-2025 01:45 -
142-55262131620006925000000000000000z0z1/ 08-Sep-2025 01:45 -
143-333333333333333310000000000000000z1z0/ 08-Sep-2025 01:45 -
144-333333333333333310000000000000000z0z1/ 08-Sep-2025 01:45 -
145-12PIz0z1/ 08-Sep-2025 01:45 -
146-z11exp78539818525314332500000000000000z01z1..> 08-Sep-2025 01:45 -
147-z0z01exp2z1/ 08-Sep-2025 01:45 -
148-z0z2z1z133073364553370380000000000001256637..> 08-Sep-2025 01:45 -
149-PIPIz0833333333333333350000000000000000PIPIz0/ 08-Sep-2025 01:45 -
15-sinPIz1z0/ 08-Sep-2025 01:45 -
150-PIz0z0PIPIPI833333333333333350000000000000000/ 08-Sep-2025 01:45 -
151-PI833333333333333350000000000000000z0z0PIPIPI/ 08-Sep-2025 01:45 -
152-20670851120203963500000000000000z0z08160524..> 08-Sep-2025 01:45 -
153-1333333333333333310000000000000000z01333333..> 08-Sep-2025 01:45 -
154-1cos2atanz1z2tanPIz0z012/ 08-Sep-2025 01:45 -
155-1cos2atanz1z2tanPI12z0z0/ 08-Sep-2025 01:45 -
156-1cosatantanz2z212PIz0z12/ 08-Sep-2025 01:45 -
157-1318309886183769720000000000000000206708511..> 08-Sep-2025 01:45 -
158-1z1z1z01z1z1z01/ 08-Sep-2025 01:45 -
159-1z0z0z0PIPI/ 08-Sep-2025 01:45 -
16-sinPIz1z0/ 08-Sep-2025 01:45 -
160-2122065862260549400000000000000005526213162..> 08-Sep-2025 01:45 -
161-2z0z01333333333333333310000000000000000z0z0/ 08-Sep-2025 01:45 -
162-2z0533333333333333320000000000000004z1/ 08-Sep-2025 01:45 -
163-1cos2atanz1z2tanPIz0z012/ 08-Sep-2025 01:45 -
164-1cosatantanz2z212PIz0z12/ 08-Sep-2025 01:45 -
165-sqrtPI3212z0z0/ 08-Sep-2025 01:45 -
166-sinPIPIz00/ 08-Sep-2025 01:45 -
167-powtanz2z212PIz0z121/ 08-Sep-2025 01:45 -
168-log1z0/ 08-Sep-2025 01:45 -
169-logexpz0z11/ 08-Sep-2025 01:45 -
17-sin2PIz0/ 08-Sep-2025 01:45 -
170-log4z01/ 08-Sep-2025 01:45 -
171-log1333333333333333310000000000000000z01333..> 08-Sep-2025 01:45 -
172-cos2atanz1z2tanPIz0z012/ 08-Sep-2025 01:45 -
173-z0exp78539818525314332500000000000000z111z0..> 08-Sep-2025 01:45 -
174-z0expPIz111z01expPIz1/ 08-Sep-2025 01:45 -
175-z0z3z4z4z1z2z2z0z3z4z4z2z2z11214z0333333333..> 08-Sep-2025 01:45 -
176-z01z01cos2atanz2z3tanPIz1z112z2z2z21cos2ata..> 08-Sep-2025 01:45 -
18-sin12z0z0PI/ 08-Sep-2025 01:45 -
19-sinz0z0PI/ 08-Sep-2025 01:45 -
2-sqrtpowtanz2z212PIz0z121/ 08-Sep-2025 01:45 -
20-sinPIPIz0/ 08-Sep-2025 01:45 -
21-sinz1PIz0/ 08-Sep-2025 01:45 -
22-powtanz2z212PIz0z12/ 08-Sep-2025 01:45 -
23-logfabslog1z0/ 08-Sep-2025 01:45 -
24-log27641z01z0z01/ 08-Sep-2025 01:45 -
25-log1333333333333333310000000000000000z013333..> 08-Sep-2025 01:45 -
26-log1z0/ 08-Sep-2025 01:45 -
27-logexpz0z11/ 08-Sep-2025 01:45 -
28-log4z01/ 08-Sep-2025 01:45 -
29-log1333333333333333310000000000000000z013333..> 08-Sep-2025 01:45 -
3-sinz03141592653595000000000078539818525314335..> 08-Sep-2025 01:45 -
30-log1z01333333333333333310000000000000000/ 08-Sep-2025 01:45 -
31-fabslog1z0/ 08-Sep-2025 01:45 -
32-cosz0PIPI/ 08-Sep-2025 01:45 -
33-cosPIz0/ 08-Sep-2025 01:45 -
34-cosPIz0z0/ 08-Sep-2025 01:45 -
35-cos2PIz0/ 08-Sep-2025 01:45 -
36-cos125663709640502932000000000000000z0/ 08-Sep-2025 01:45 -
37-cos31415926535950000000000z0/ 08-Sep-2025 01:45 -
38-cos2atanz1z2tanPIz0z012/ 08-Sep-2025 01:45 -
39-cos2atanz1z2tanPI12z0z0/ 08-Sep-2025 01:45 -
4-sin31415926535950000000000z078539818525314335..> 08-Sep-2025 01:45 -
40-cos125663709640502932000000000000000z0/ 08-Sep-2025 01:45 -
41-cosatantanz2z212PIz0z12/ 08-Sep-2025 01:45 -
42-cosPIPIz0/ 08-Sep-2025 01:45 -
43-atantanz2z212PIz0z1/ 08-Sep-2025 01:45 -
44-atanz1z2tanPIz0z012/ 08-Sep-2025 01:45 -
45-atanz1z2tanPI12z0z0/ 08-Sep-2025 01:45 -
46-z1z1z01sqrt1z1z15641895665989011100000000000..> 08-Sep-2025 01:45 -
47-z0sinz1/ 08-Sep-2025 01:45 -
48-z0z3z4z4z1z2z2/ 08-Sep-2025 01:45 -
49-z0z2z1/ 08-Sep-2025 01:45 -
5-sinz1z0/ 08-Sep-2025 01:45 -
50-z0z1z1/ 08-Sep-2025 01:45 -
51-z0z13/ 08-Sep-2025 01:45 -
52-z0z01cos2atanz2z3tanPIz1z1121/ 08-Sep-2025 01:45 -
53-z0sinh1z1z1z1expz3z2z1/ 08-Sep-2025 01:45 -
54-PIz0/ 08-Sep-2025 01:45 -
55-564189566598901110000000000000000z0/ 08-Sep-2025 01:45 -
56-397887351690191750000000000000000z0/ 08-Sep-2025 01:45 -
57-397887351690191750000000000000000z1z0/ 08-Sep-2025 01:45 -
58-1333333333333333310000000000000000z0/ 08-Sep-2025 01:45 -
59-18z0PI/ 08-Sep-2025 01:45 -
6-sinz1z01/ 08-Sep-2025 01:45 -
60-18expz1z0z0PI/ 08-Sep-2025 01:45 -
61-18PIz1expz0z1/ 08-Sep-2025 01:45 -
62-14z1z0PI/ 08-Sep-2025 01:45 -
63-14z1PIz0/ 08-Sep-2025 01:45 -
64-14z0PI/ 08-Sep-2025 01:45 -
65-14z1PIz0/ 08-Sep-2025 01:45 -
66-1sqrtpowtanz2z212PIz0z121/ 08-Sep-2025 01:45 -
67-1564189566598901110000000000000000sqrt1z1z1e..> 08-Sep-2025 01:45 -
68-1z0exp78539818525314332500000000000000z111z0..> 08-Sep-2025 01:45 -
69-11z0expPIz11z0exp785398185253143325000000000..> 08-Sep-2025 01:45 -
7-sinz1PIz0/ 08-Sep-2025 01:45 -
70-1z1z0/ 08-Sep-2025 01:45 -
71-1z0z0/ 08-Sep-2025 01:45 -
72-1PIz0/ 08-Sep-2025 01:45 -
73-1sqrtpowtanz2z212PIz0z121z1/ 08-Sep-2025 01:45 -
74-1z1z1powtanz2z212PIz0z121/ 08-Sep-2025 01:45 -
75-27641z01z0z01/ 08-Sep-2025 01:45 -
76-20sinPIPIz0/ 08-Sep-2025 01:45 -
77-11z0sqrt1z1z13544907808303833200000000000000..> 08-Sep-2025 01:45 -
78-11exp78539818525314332500000000000000z01z1ex..> 08-Sep-2025 01:45 -
79-1z2z3z3z0z1z1/ 08-Sep-2025 01:45 -
8-sinz0PI/ 08-Sep-2025 01:45 -
80-1PIz1z0/ 08-Sep-2025 01:45 -
81-sqrtPIsqrt1z1z1expz1z1z11z0sqrtPI/ 08-Sep-2025 01:45 -
82-sqrt1z0z035449078083038332000000000000000z0e..> 08-Sep-2025 01:45 -
83-sinz1PIz0z1PIz0/ 08-Sep-2025 01:45 -
84-sinPIz0PIz0/ 08-Sep-2025 01:45 -
85-sinPIz1z0PIz1z0/ 08-Sep-2025 01:45 -
86-sinz1PIz0z1PIPIz1z0/ 08-Sep-2025 01:45 -
87-sinz1PIz0z1PIz0z0PI/ 08-Sep-2025 01:45 -
88-powexpfabsz0z112expfabsz0z1z1/ 08-Sep-2025 01:45 -
89-log1z0z3z4z4z1z2z2/ 08-Sep-2025 01:45 -
9-sinz031415926535950000000000/ 08-Sep-2025 01:45 -
90-expz0z13PIz1z0/ 08-Sep-2025 01:45 -
91-expfabsz0z1powexpfabsz0z112z1/ 08-Sep-2025 01:45 -
92-expz0z1z1z0/ 08-Sep-2025 01:45 -
93-expz0z1PIz1z0/ 08-Sep-2025 01:45 -
94-exp333333333333333310000000000000000z0z1z1z0/ 08-Sep-2025 01:45 -
95-exp333333333333333310000000000000000z0z1PI6z1/ 08-Sep-2025 01:45 -
96-expz1z03333333333333333100000000000000001818..> 08-Sep-2025 01:45 -
97-expz0z13333333333333333100000000000000001818..> 08-Sep-2025 01:45 -
98-z2z2z0z1z1z2z3/ 08-Sep-2025 01:45 -
99-z01214z0333333333333333310000000000000000z0z..> 08-Sep-2025 01:45 -