Pow sec Mul acos acsch Mul E x0 3 Mul Pow x0 acsc Pow x4 asec E Add Add x0 pi -4 
Mul Pow sec Mul acos acsch Mul E x0 3 Add Mul Pow x0 acsc Pow x4 asec E Add Add x0 pi -4 -1 Add Mul Mul Pow x0 acsc Pow x4 asec E Add Add x0 pi -4 Mul Mul tan Mul acos acsch Mul E x0 3 sec Mul acos acsch Mul E x0 3 Mul 3 Mul -1 Mul Mul Mul -1 E Pow Mul Mul Mul E x0 Mul E x0 sqrt Add 1 Mul -1 Pow Mul Mul E x0 Mul E x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul acsch Mul E x0 acsch Mul E x0 -1 Mul Mul sec Mul acos acsch Mul E x0 3 log sec Mul acos acsch Mul E x0 3 Add Mul Add Add x0 pi -4 Mul Pow x0 Add acsc Pow x4 asec E -1 acsc Pow x4 asec E Pow x0 acsc Pow x4 asec E 