Pow sin x0 Mul Mul x3 sqrt Pow acot pi x0 sech x0 
Mul Pow sin x0 Add Mul Mul x3 sqrt Pow acot pi x0 sech x0 -1 Add Mul Mul Mul x3 sqrt Pow acot pi x0 sech x0 cos x0 Mul Mul sin x0 log sin x0 Add Mul sech x0 Mul x3 Mul Pow Mul 2 sqrt Pow acot pi x0 -1 Mul Pow acot pi Add x0 -1 Mul acot pi log acot pi Mul Mul x3 sqrt Pow acot pi x0 Mul tanh x0 Mul -1 sech x0 