Pow Add x0 4 sech acot log Pow log Mul Pow x0 Add cosh E x0 Add x0 x0 x2 
Mul Pow Add x0 4 Add sech acot log Pow log Mul Pow x0 Add cosh E x0 Add x0 x0 x2 -1 Add sech acot log Pow log Mul Pow x0 Add cosh E x0 Add x0 x0 x2 Mul Mul Add x0 4 log Add x0 4 Mul Mul tanh acot log Pow log Mul Pow x0 Add cosh E x0 Add x0 x0 x2 Mul -1 sech acot log Pow log Mul Pow x0 Add cosh E x0 Add x0 x0 x2 Mul -1 Mul Mul Mul Pow log Mul Pow x0 Add cosh E x0 Add x0 x0 Add x2 -1 Mul x2 Mul Add Mul Add x0 x0 Mul Pow x0 Add Add cosh E x0 -1 Add Add cosh E x0 Mul x0 log x0 Mul Pow x0 Add cosh E x0 2 Pow Mul Pow x0 Add cosh E x0 Add x0 x0 -1 Pow Pow log Mul Pow x0 Add cosh E x0 Add x0 x0 x2 -1 Pow Add 1 Mul log Pow log Mul Pow x0 Add cosh E x0 Add x0 x0 x2 log Pow log Mul Pow x0 Add cosh E x0 Add x0 x0 x2 -1 