Mul x0 Pow Pow Mul Pow acsc pi -2 csc acosh E x0 Mul 2 x0 
Add Pow Pow Mul Pow acsc pi -2 csc acosh E x0 Mul 2 x0 Mul x0 Mul Pow Pow Mul Pow acsc pi -2 csc acosh E x0 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Mul Pow Mul Pow acsc pi -2 csc acosh E Add x0 -1 Mul Mul Pow acsc pi -2 csc acosh E log Mul Pow acsc pi -2 csc acosh E Mul Mul Pow Mul Pow acsc pi -2 csc acosh E x0 log Pow Mul Pow acsc pi -2 csc acosh E x0 2 