Mul x0 Pow Add asinh pi x0 acot cot x0 
Add Pow Add asinh pi x0 acot cot x0 Mul x0 Mul Pow Add asinh pi x0 Add acot cot x0 -1 Add acot cot x0 Mul Mul Add asinh pi x0 log Add asinh pi x0 Mul -1 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul cot x0 cot x0 -1 