acosh Mul Mul x0 x0 csch Pow asech x4 Mul E 3 
Mul Mul csch Pow asech x4 Mul E 3 Add x0 x0 Pow Mul sqrt Add Mul Mul x0 x0 csch Pow asech x4 Mul E 3 -1 sqrt Add 1 Mul Mul x0 x0 csch Pow asech x4 Mul E 3 -1 