atanh acsc Pow Mul x0 E E 
Mul Mul -1 Mul Mul Pow Mul x0 E Add E -1 Mul E E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 E E Pow Mul x0 E E -1 Pow Mul x0 E E Pow Mul x0 E E -1 Pow Add 1 Mul -1 Mul acsc Pow Mul x0 E E acsc Pow Mul x0 E E -1 