Pow x0 Pow cot Mul Pow Mul acoth x1 x0 atan x5 Mul x6 2 Pow pi x0 
Mul Pow x0 Add Pow cot Mul Pow Mul acoth x1 x0 atan x5 Mul x6 2 Pow pi x0 -1 Add Pow cot Mul Pow Mul acoth x1 x0 atan x5 Mul x6 2 Pow pi x0 Mul Mul x0 log x0 Mul Pow cot Mul Pow Mul acoth x1 x0 atan x5 Mul x6 2 Add Pow pi x0 -1 Add Mul Pow pi x0 Mul Mul -1 Pow csc Mul Pow Mul acoth x1 x0 atan x5 Mul x6 2 2 Mul Mul x6 2 Mul Pow Mul acoth x1 x0 Add atan x5 -1 Mul atan x5 acoth x1 Mul Mul cot Mul Pow Mul acoth x1 x0 atan x5 Mul x6 2 log cot Mul Pow Mul acoth x1 x0 atan x5 Mul x6 2 Mul Pow pi Add x0 -1 Mul pi log pi 