csch sin Mul Mul -4 Mul sec acot x1 2 x0 
Mul Mul Mul -1 coth sin Mul Mul -4 Mul sec acot x1 2 x0 csch sin Mul Mul -4 Mul sec acot x1 2 x0 Mul cos Mul Mul -4 Mul sec acot x1 2 x0 Mul -4 Mul sec acot x1 2 