Mul x0 acosh asech Pow log E Mul x0 x2 
Add acosh asech Pow log E Mul x0 x2 Mul x0 Mul Mul Mul Pow log E Add Mul x0 x2 -1 Mul Mul log E log log E x2 Pow Mul Mul Pow log E Mul x0 x2 Pow log E Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul Pow log E Mul x0 x2 Pow log E Mul x0 x2 -1 -1 Pow Mul sqrt Add asech Pow log E Mul x0 x2 -1 sqrt Add 1 asech Pow log E Mul x0 x2 -1 