Add Pow Add acosh x0 Pow cosh Pow Mul x2 x7 -1 x0 Add Mul Mul x0 x0 x3 pi tanh x0 
Add Mul Pow Add acosh x0 Pow cosh Pow Mul x2 x7 -1 x0 Add Add Mul Mul x0 x0 x3 pi -1 Add Mul Add Mul Mul x0 x0 x3 pi Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow cosh Pow Mul x2 x7 -1 Add x0 -1 Mul cosh Pow Mul x2 x7 -1 log cosh Pow Mul x2 x7 -1 Mul Mul Add acosh x0 Pow cosh Pow Mul x2 x7 -1 x0 log Add acosh x0 Pow cosh Pow Mul x2 x7 -1 x0 Mul x3 Add x0 x0 Pow sech x0 2 