Mul x0 tan Add csch Add -4 acot x0 x0 
Add tan Add csch Add -4 acot x0 x0 Mul x0 Mul Pow sec Add csch Add -4 acot x0 x0 2 Add Mul Mul Mul -1 coth Add -4 acot x0 csch Add -4 acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 1 