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