Add Pow x3 Add Mul x0 Pow cosh Pow acosh E x0 x1 Add Pow Add x0 x0 atan pi Add Add x1 x4 -4 x0 
Add Mul Pow x3 Add Add Mul x0 Pow cosh Pow acosh E x0 x1 Add Pow Add x0 x0 atan pi Add Add x1 x4 -4 -1 Mul Mul x3 log x3 Add Add Pow cosh Pow acosh E x0 x1 Mul x0 Mul Pow cosh Pow acosh E x0 Add x1 -1 Mul x1 Mul sinh Pow acosh E x0 Mul Pow acosh E Add x0 -1 Mul acosh E log acosh E Mul Pow Add x0 x0 Add atan pi -1 Mul atan pi 2 1 