Mul Pow x0 tanh x3 Mul atan Mul cosh x0 x0 x0 
Add Mul Mul atan Mul cosh x0 x0 x0 Mul Pow x0 Add tanh x3 -1 tanh x3 Mul Pow x0 tanh x3 Add Mul x0 Mul Add Mul x0 sinh x0 cosh x0 Pow Add 1 Mul Mul cosh x0 x0 Mul cosh x0 x0 -1 atan Mul cosh x0 x0 