Pow x0 acosh Add -1 Mul cos sin x0 Pow acot Pow 2 x6 -5 
Mul Pow x0 Add acosh Add -1 Mul cos sin x0 Pow acot Pow 2 x6 -5 -1 Add acosh Add -1 Mul cos sin x0 Pow acot Pow 2 x6 -5 Mul Mul x0 log x0 Mul Mul Pow acot Pow 2 x6 -5 Mul Mul -1 sin sin x0 cos x0 Pow Mul sqrt Add Add -1 Mul cos sin x0 Pow acot Pow 2 x6 -5 -1 sqrt Add 1 Add -1 Mul cos sin x0 Pow acot Pow 2 x6 -5 -1 