acosh Mul acsch Mul cosh x2 0.863691154450617 Pow x0 Add Pow x0 x1 exp x0 
Mul Mul acsch Mul cosh x2 0.863691154450617 Mul Pow x0 Add Add Pow x0 x1 exp x0 -1 Add Add Pow x0 x1 exp x0 Mul Mul x0 log x0 Add Mul Pow x0 Add x1 -1 x1 exp x0 Pow Mul sqrt Add Mul acsch Mul cosh x2 0.863691154450617 Pow x0 Add Pow x0 x1 exp x0 -1 sqrt Add 1 Mul acsch Mul cosh x2 0.863691154450617 Pow x0 Add Pow x0 x1 exp x0 -1 