asec Mul acosh acoth E Mul Mul x0 E 4 
Mul Mul acosh acoth E Mul 4 E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul acosh acoth E Mul Mul x0 E 4 Mul acosh acoth E Mul Mul x0 E 4 -1 Mul acosh acoth E Mul Mul x0 E 4 Mul acosh acoth E Mul Mul x0 E 4 -1 