Pow Mul pi Pow Mul x0 acot x3 acoth acsc pi Add 1 x0 
Mul Pow Mul pi Pow Mul x0 acot x3 acoth acsc pi Add Add 1 x0 -1 Add Mul Add 1 x0 Mul pi Mul Pow Mul x0 acot x3 Add acoth acsc pi -1 Mul acoth acsc pi acot x3 Mul Mul pi Pow Mul x0 acot x3 acoth acsc pi log Mul pi Pow Mul x0 acot x3 acoth acsc pi 