Pow x0 acot acos Mul Add x3 Mul cosh Mul Add 1 cos x0 Mul atan x0 x4 2 -2 
Mul Pow x0 Add acot acos Mul Add x3 Mul cosh Mul Add 1 cos x0 Mul atan x0 x4 2 -2 -1 Add acot acos Mul Add x3 Mul cosh Mul Add 1 cos x0 Mul atan x0 x4 2 -2 Mul Mul x0 log x0 Mul -1 Mul Mul -1 Mul Mul -2 Mul 2 Mul sinh Mul Add 1 cos x0 Mul atan x0 x4 Add Mul Mul atan x0 x4 Mul -1 sin x0 Mul Add 1 cos x0 Mul x4 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul Add x3 Mul cosh Mul Add 1 cos x0 Mul atan x0 x4 2 -2 Mul Add x3 Mul cosh Mul Add 1 cos x0 Mul atan x0 x4 2 -2 -1 Pow Add 1 Mul acos Mul Add x3 Mul cosh Mul Add 1 cos x0 Mul atan x0 x4 2 -2 acos Mul Add x3 Mul cosh Mul Add 1 cos x0 Mul atan x0 x4 2 -2 -1 