Mul cot Add -4 x0 Pow Mul log x0 2 acosh asech pi 
Add Mul Pow Mul log x0 2 acosh asech pi Mul -1 Pow csc Add -4 x0 2 Mul cot Add -4 x0 Mul Pow Mul log x0 2 Add acosh asech pi -1 Mul acosh asech pi Mul 2 Pow x0 -1 