Pow Mul Mul cosh Pow x5 x7 Pow x0 acos Add Pow cosh x4 x0 x7 pi Add -4 acoth tan Pow x0 x0 
Mul Pow Mul Mul cosh Pow x5 x7 Pow x0 acos Add Pow cosh x4 x0 x7 pi Add Add -4 acoth tan Pow x0 x0 -1 Add Mul Add -4 acoth tan Pow x0 x0 Mul pi Mul cosh Pow x5 x7 Mul Pow x0 Add acos Add Pow cosh x4 x0 x7 -1 Add acos Add Pow cosh x4 x0 x7 Mul Mul x0 log x0 Mul -1 Mul Mul Pow cosh x4 Add x0 -1 Mul cosh x4 log cosh x4 Pow sqrt Add 1 Mul -1 Mul Add Pow cosh x4 x0 x7 Add Pow cosh x4 x0 x7 -1 Mul Mul Mul Mul cosh Pow x5 x7 Pow x0 acos Add Pow cosh x4 x0 x7 pi log Mul Mul cosh Pow x5 x7 Pow x0 acos Add Pow cosh x4 x0 x7 pi Mul Mul Pow sec Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul tan Pow x0 x0 tan Pow x0 x0 -1 