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