Add Add Pow Mul x3 x0 atan cosh x0 -1 Mul Mul x0 x0 atan atan x6 
Add Mul Pow Mul x3 x0 Add atan cosh x0 -1 Add Mul atan cosh x0 x3 Mul Mul Mul x3 x0 log Mul x3 x0 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 Mul atan atan x6 Add x0 x0 