Mul acos Pow Pow Add cosh sech x0 Add x0 Add -3 Pow acoth x0 sqrt x3 x2 Mul acos x6 sqrt x0 pi 
Mul pi Mul -1 Mul Mul Pow Pow Add cosh sech x0 Add x0 Add -3 Pow acoth x0 sqrt x3 x2 Add Mul acos x6 sqrt x0 -1 Add Mul Mul acos x6 sqrt x0 Mul Pow Add cosh sech x0 Add x0 Add -3 Pow acoth x0 sqrt x3 Add x2 -1 Mul x2 Add Mul sinh sech x0 Mul tanh x0 Mul -1 sech x0 Add 1 Mul Pow acoth x0 Add sqrt x3 -1 Mul sqrt x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow Add cosh sech x0 Add x0 Add -3 Pow acoth x0 sqrt x3 x2 log Pow Add cosh sech x0 Add x0 Add -3 Pow acoth x0 sqrt x3 x2 Mul acos x6 Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Pow Add cosh sech x0 Add x0 Add -3 Pow acoth x0 sqrt x3 x2 Mul acos x6 sqrt x0 Pow Pow Add cosh sech x0 Add x0 Add -3 Pow acoth x0 sqrt x3 x2 Mul acos x6 sqrt x0 -1 