atan Pow acsc x0 Mul cos coth x6 pi 
Mul Mul Pow acsc x0 Add Mul cos coth x6 pi -1 Mul Mul cos coth x6 pi Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Pow acsc x0 Mul cos coth x6 pi Pow acsc x0 Mul cos coth x6 pi -1 