Mul Pow x0 sech Add log exp acosh x6 Pow x0 Mul Add pi E x0 Add x0 x0 
Add Mul Add x0 x0 Mul Pow x0 Add sech Add log exp acosh x6 Pow x0 Mul Add pi E x0 -1 Add sech Add log exp acosh x6 Pow x0 Mul Add pi E x0 Mul Mul x0 log x0 Mul Mul tanh Add log exp acosh x6 Pow x0 Mul Add pi E x0 Mul -1 sech Add log exp acosh x6 Pow x0 Mul Add pi E x0 Mul Pow x0 Add Mul Add pi E x0 -1 Add Mul Add pi E x0 Mul Mul x0 log x0 Add pi E Mul Pow x0 sech Add log exp acosh x6 Pow x0 Mul Add pi E x0 2 