Mul x7 atan Mul x7 Mul x0 Pow Mul x0 cosh x3 x2 
Mul x7 Mul Mul x7 Add Pow Mul x0 cosh x3 x2 Mul x0 Mul Pow Mul x0 cosh x3 Add x2 -1 Mul x2 cosh x3 Pow Add 1 Mul Mul x7 Mul x0 Pow Mul x0 cosh x3 x2 Mul x7 Mul x0 Pow Mul x0 cosh x3 x2 -1 