Mul -3 Mul 3 Add Pow sqrt x6 Add Mul cosh cosh log x3 Mul -1 x0 Pow x1 acot acosh Mul E x0 x6 
Mul -3 Mul 3 Mul Pow sqrt x6 Add Add Mul cosh cosh log x3 Mul -1 x0 Pow x1 acot acosh Mul E x0 -1 Mul Mul sqrt x6 log sqrt x6 Add Mul cosh cosh log x3 -1 Mul Pow x1 Add acot acosh Mul E x0 -1 Mul Mul x1 log x1 Mul -1 Mul Mul E Pow Mul sqrt Add Mul E x0 -1 sqrt Add 1 Mul E x0 -1 Pow Add 1 Mul acosh Mul E x0 acosh Mul E x0 -1 