exp sech Pow Add Mul x0 acos x0 Pow Mul x0 x0 Add sech x7 Pow Mul x1 3 Add x0 -4 Add x0 atanh x7 
Mul exp sech Pow Add Mul x0 acos x0 Pow Mul x0 x0 Add sech x7 Pow Mul x1 3 Add x0 -4 Add x0 atanh x7 Mul Mul tanh Pow Add Mul x0 acos x0 Pow Mul x0 x0 Add sech x7 Pow Mul x1 3 Add x0 -4 Add x0 atanh x7 Mul -1 sech Pow Add Mul x0 acos x0 Pow Mul x0 x0 Add sech x7 Pow Mul x1 3 Add x0 -4 Add x0 atanh x7 Mul Pow Add Mul x0 acos x0 Pow Mul x0 x0 Add sech x7 Pow Mul x1 3 Add x0 -4 Add Add x0 atanh x7 -1 Add Mul Add x0 atanh x7 Add Add acos x0 Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul x0 x0 Add Add sech x7 Pow Mul x1 3 Add x0 -4 -1 Add Mul Add sech x7 Pow Mul x1 3 Add x0 -4 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow Mul x1 3 Add Add x0 -4 -1 Mul Mul x1 3 log Mul x1 3 Mul Add Mul x0 acos x0 Pow Mul x0 x0 Add sech x7 Pow Mul x1 3 Add x0 -4 log Add Mul x0 acos x0 Pow Mul x0 x0 Add sech x7 Pow Mul x1 3 Add x0 -4 