Mul -2 tan Pow Mul acsc x3 Mul x0 Add acoth x0 sin x0 4 
Mul -2 Mul Pow sec Pow Mul acsc x3 Mul x0 Add acoth x0 sin x0 4 2 Mul Pow Mul acsc x3 Mul x0 Add acoth x0 sin x0 3 Mul 4 Mul acsc x3 Add Add acoth x0 sin x0 Mul x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 cos x0 