Mul Add x7 log Pow Pow atan x0 x1 csc x0 Pow log Mul Add x0 x0 x0 cosh x0 
Add Mul Pow log Mul Add x0 x0 x0 cosh x0 Mul Mul Pow Pow atan x0 x1 Add csc x0 -1 Add Mul csc x0 Mul Pow atan x0 Add x1 -1 Mul x1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow atan x0 x1 log Pow atan x0 x1 Mul Mul -1 cot x0 csc x0 Pow Pow Pow atan x0 x1 csc x0 -1 Mul Add x7 log Pow Pow atan x0 x1 csc x0 Mul Pow log Mul Add x0 x0 x0 Add cosh x0 -1 Add Mul cosh x0 Mul Add Mul x0 2 Add x0 x0 Pow Mul Add x0 x0 x0 -1 Mul Mul log Mul Add x0 x0 x0 log log Mul Add x0 x0 x0 sinh x0 