Mul acsc Pow log x0 acot x3 x0 
Add Mul x0 Mul -1 Mul Mul Pow log x0 Add acot x3 -1 Mul acot x3 Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow log x0 acot x3 Pow log x0 acot x3 -1 Pow log x0 acot x3 Pow log x0 acot x3 -1 acsc Pow log x0 acot x3 