Add x3 Pow cot Add x0 x0 log coth exp atan x0 
Mul Pow cot Add x0 x0 Add log coth exp atan x0 -1 Add Mul log coth exp atan x0 Mul Mul -1 Pow csc Add x0 x0 2 2 Mul Mul cot Add x0 x0 log cot Add x0 x0 Mul Mul Mul -1 Pow csch exp atan x0 2 Mul exp atan x0 Pow Add 1 Mul x0 x0 -1 Pow coth exp atan x0 -1 