acos asech Mul Add sec Mul sec x6 x0 coth pi -1 
Mul -1 Mul Mul Mul -1 Mul Mul tan Mul sec x6 x0 sec Mul sec x6 x0 sec x6 Pow Mul Mul Mul Add sec Mul sec x6 x0 coth pi -1 Mul Add sec Mul sec x6 x0 coth pi -1 sqrt Add 1 Mul -1 Pow Mul Mul Add sec Mul sec x6 x0 coth pi -1 Mul Add sec Mul sec x6 x0 coth pi -1 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Mul Add sec Mul sec x6 x0 coth pi -1 asech Mul Add sec Mul sec x6 x0 coth pi -1 -1 