coth Add asec acos acot Add -1 Mul x0 x1 x0 
Mul Mul -1 Pow csch Add asec acos acot Add -1 Mul x0 x1 x0 2 Add Mul Mul -1 Mul Mul -1 Mul x1 Pow Add 1 Mul Add -1 Mul x0 x1 Add -1 Mul x0 x1 -1 Pow sqrt Add 1 Mul -1 Mul acot Add -1 Mul x0 x1 acot Add -1 Mul x0 x1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos acot Add -1 Mul x0 x1 acos acot Add -1 Mul x0 x1 -1 acos acot Add -1 Mul x0 x1 acos acot Add -1 Mul x0 x1 -1 1 