Pow Add Pow Mul x0 cosh Mul Mul x0 x0 atan Add x0 x4 3 -5 Add -1 acot x0 
Mul Pow Add Pow Mul x0 cosh Mul Mul x0 x0 atan Add x0 x4 3 -5 Add Add -1 acot x0 -1 Add Mul Add -1 acot x0 Mul Pow Mul x0 cosh Mul Mul x0 x0 atan Add x0 x4 2 Mul 3 Add cosh Mul Mul x0 x0 atan Add x0 x4 Mul x0 Mul sinh Mul Mul x0 x0 atan Add x0 x4 Add Mul atan Add x0 x4 Add x0 x0 Mul Mul x0 x0 Pow Add 1 Mul Add x0 x4 Add x0 x4 -1 Mul Mul Add Pow Mul x0 cosh Mul Mul x0 x0 atan Add x0 x4 3 -5 log Add Pow Mul x0 cosh Mul Mul x0 x0 atan Add x0 x4 3 -5 Mul -1 Pow Add 1 Mul x0 x0 -1 