Mul Pow sqrt x0 2 Mul Add acot x0 Mul -2 cos x0 Pow Mul x3 x0 atanh x2 
Add Mul Mul Add acot x0 Mul -2 cos x0 Pow Mul x3 x0 atanh x2 Mul sqrt x0 Mul 2 Pow Mul 2 sqrt x0 -1 Mul Pow sqrt x0 2 Add Mul Pow Mul x3 x0 atanh x2 Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul -2 Mul -1 sin x0 Mul Add acot x0 Mul -2 cos x0 Mul Pow Mul x3 x0 Add atanh x2 -1 Mul atanh x2 x3 