atanh Mul Pow Mul x0 4 Mul Add acoth x4 E -4 acot acosh x4 
Mul Mul acot acosh x4 Mul Pow Mul x0 4 Add Mul Add acoth x4 E -4 -1 Mul Mul Add acoth x4 E -4 4 Pow Add 1 Mul -1 Mul Mul Pow Mul x0 4 Mul Add acoth x4 E -4 acot acosh x4 Mul Pow Mul x0 4 Mul Add acoth x4 E -4 acot acosh x4 -1 