cos Mul Pow acos acoth x0 x1 Mul x0 Mul acsch acot x0 Pow x0 x0 
Mul Mul -1 sin Mul Pow acos acoth x0 x1 Mul x0 Mul acsch acot x0 Pow x0 x0 Add Mul Mul x0 Mul acsch acot x0 Pow x0 x0 Mul Pow acos acoth x0 Add x1 -1 Mul x1 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul Pow acos acoth x0 x1 Add Mul acsch acot x0 Pow x0 x0 Mul x0 Add Mul Pow x0 x0 Mul Mul -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul acot x0 acot x0 sqrt Add 1 Mul -1 Pow Mul acot x0 acot x0 -1 -1 Mul acsch acot x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 