sech Mul acosh Pow Mul x3 Pow x0 Pow x3 4 E x0 
Mul Mul tanh Mul acosh Pow Mul x3 Pow x0 Pow x3 4 E x0 Mul -1 sech Mul acosh Pow Mul x3 Pow x0 Pow x3 4 E x0 Add Mul x0 Mul Mul Pow Mul x3 Pow x0 Pow x3 4 Add E -1 Mul E Mul x3 Mul Pow x0 Add Pow x3 4 -1 Pow x3 4 Pow Mul sqrt Add Pow Mul x3 Pow x0 Pow x3 4 E -1 sqrt Add 1 Pow Mul x3 Pow x0 Pow x3 4 E -1 acosh Pow Mul x3 Pow x0 Pow x3 4 E 