Mul Mul Pow Mul x0 asec Pow x5 -3 E x1 asec acoth Mul x0 E 
Add Mul asec acoth Mul x0 E Mul x1 Mul Pow Mul x0 asec Pow x5 -3 Add E -1 Mul E asec Pow x5 -3 Mul Mul Pow Mul x0 asec Pow x5 -3 E x1 Mul Mul E Pow Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth Mul x0 E acoth Mul x0 E -1 acoth Mul x0 E acoth Mul x0 E -1 