Pow Pow coth pi Add Pow x0 asech acsc x4 acoth Add atanh x0 acos pi acos Add Add -1 x0 x0 
Mul Pow Pow coth pi Add Pow x0 asech acsc x4 acoth Add atanh x0 acos pi Add acos Add Add -1 x0 x0 -1 Add Mul acos Add Add -1 x0 x0 Mul Pow coth pi Add Add Pow x0 asech acsc x4 acoth Add atanh x0 acos pi -1 Mul Mul coth pi log coth pi Add Mul Pow x0 Add asech acsc x4 -1 asech acsc x4 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add atanh x0 acos pi Add atanh x0 acos pi -1 Mul Mul Pow coth pi Add Pow x0 asech acsc x4 acoth Add atanh x0 acos pi log Pow coth pi Add Pow x0 asech acsc x4 acoth Add atanh x0 acos pi Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add Add -1 x0 x0 Add Add -1 x0 x0 -1 