Pow acsch atan x5 Mul asech Mul x0 Add -2 x5 asec coth pi 
Mul Pow acsch atan x5 Add Mul asech Mul x0 Add -2 x5 asec coth pi -1 Mul Mul acsch atan x5 log acsch atan x5 Mul asec coth pi Mul Add -2 x5 Pow Mul Mul Mul x0 Add -2 x5 Mul x0 Add -2 x5 sqrt Add 1 Mul -1 Pow Mul Mul x0 Add -2 x5 Mul x0 Add -2 x5 -1 -1 