atan acot Add x0 cosh Mul Pow Pow Pow x0 x4 Add x1 atan x3 x0 x0 
Mul Mul -1 Mul Add 1 Mul sinh Mul Pow Pow Pow x0 x4 Add x1 atan x3 x0 x0 Add Mul x0 Mul Pow Pow Pow x0 x4 Add x1 atan x3 Add x0 -1 Add Mul x0 Mul Pow Pow x0 x4 Add Add x1 atan x3 -1 Mul Add x1 atan x3 Mul Pow x0 Add x4 -1 x4 Mul Pow Pow x0 x4 Add x1 atan x3 log Pow Pow x0 x4 Add x1 atan x3 Pow Pow Pow x0 x4 Add x1 atan x3 x0 Pow Add 1 Mul Add x0 cosh Mul Pow Pow Pow x0 x4 Add x1 atan x3 x0 x0 Add x0 cosh Mul Pow Pow Pow x0 x4 Add x1 atan x3 x0 x0 -1 Pow Add 1 Mul acot Add x0 cosh Mul Pow Pow Pow x0 x4 Add x1 atan x3 x0 x0 acot Add x0 cosh Mul Pow Pow Pow x0 x4 Add x1 atan x3 x0 x0 -1 