Mul Mul x7 x6 Pow Mul Pow x0 pi acoth pi sec cot x0 
Mul Mul x7 x6 Mul Pow Mul Pow x0 pi acoth pi Add sec cot x0 -1 Add Mul sec cot x0 Mul acoth pi Mul Pow x0 Add pi -1 pi Mul Mul Mul Pow x0 pi acoth pi log Mul Pow x0 pi acoth pi Mul Mul tan cot x0 sec cot x0 Mul -1 Pow csc x0 2 