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