Mul Add atanh Mul -4 x0 x7 tanh Pow Mul atan x3 x0 Pow cosh x0 -1 
Add Mul tanh Pow Mul atan x3 x0 Pow cosh x0 -1 Mul -4 Pow Add 1 Mul -1 Mul Mul -4 x0 Mul -4 x0 -1 Mul Add atanh Mul -4 x0 x7 Mul Pow sech Pow Mul atan x3 x0 Pow cosh x0 -1 2 Mul Pow Mul atan x3 x0 Add Pow cosh x0 -1 -1 Add Mul Pow cosh x0 -1 atan x3 Mul Mul Mul atan x3 x0 log Mul atan x3 x0 Mul Pow cosh x0 2 Mul -1 sinh x0 