Mul Mul cosh Pow x0 log x6 acosh x0 0.785398163397448 
Mul 0.785398163397448 Add Mul acosh x0 Mul sinh Pow x0 log x6 Mul Pow x0 Add log x6 -1 log x6 Mul cosh Pow x0 log x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 