acosh Add Pow Pow acosh Mul x0 E Add 0.693147180559945 Pow pi cosh x0 x3 x0 
Mul Add Mul Pow Pow acosh Mul x0 E Add 0.693147180559945 Pow pi cosh x0 Add x3 -1 Mul x3 Mul Pow acosh Mul x0 E Add Add 0.693147180559945 Pow pi cosh x0 -1 Add Mul Add 0.693147180559945 Pow pi cosh x0 Mul E Pow Mul sqrt Add Mul x0 E -1 sqrt Add 1 Mul x0 E -1 Mul Mul acosh Mul x0 E log acosh Mul x0 E Mul Pow pi Add cosh x0 -1 Mul Mul pi log pi sinh x0 1 Pow Mul sqrt Add Add Pow Pow acosh Mul x0 E Add 0.693147180559945 Pow pi cosh x0 x3 x0 -1 sqrt Add 1 Add Pow Pow acosh Mul x0 E Add 0.693147180559945 Pow pi cosh x0 x3 x0 -1 