coth Mul x0 Add Mul sec x0 x0 Add Add Mul x0 Mul x0 2 -2 3 
Mul Mul -1 Pow csch Mul x0 Add Mul sec x0 x0 Add Add Mul x0 Mul x0 2 -2 3 2 Add Add Mul sec x0 x0 Add Add Mul x0 Mul x0 2 -2 3 Mul x0 Add Add Mul x0 Mul tan x0 sec x0 sec x0 Add Mul x0 2 Mul x0 2 