Mul x3 Add cot Mul 9 Mul acsch x0 csc x0 acos cos x0 
Mul x3 Add Mul Mul -1 Pow csc Mul 9 Mul acsch x0 csc x0 2 Mul 9 Add Mul csc x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 Mul Mul -1 cot x0 csc x0 Mul -1 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul cos x0 cos x0 -1 