sech Pow acot Mul x7 pi cot x0 
Mul Mul tanh Pow acot Mul x7 pi cot x0 Mul -1 sech Pow acot Mul x7 pi cot x0 Mul Pow acot Mul x7 pi Add cot x0 -1 Mul Mul acot Mul x7 pi log acot Mul x7 pi Mul -1 Pow csc x0 2 