Mul x3 Pow Add acot pi x0 exp Mul 4 csc x0 
Mul x3 Mul Pow Add acot pi x0 Add exp Mul 4 csc x0 -1 Add exp Mul 4 csc x0 Mul Mul Add acot pi x0 log Add acot pi x0 Mul exp Mul 4 csc x0 Mul 4 Mul Mul -1 cot x0 csc x0 