csch Pow Mul x2 Mul x0 x3 sec x0 
Mul Mul Mul -1 coth Pow Mul x2 Mul x0 x3 sec x0 csch Pow Mul x2 Mul x0 x3 sec x0 Mul Pow Mul x2 Mul x0 x3 Add sec x0 -1 Add Mul sec x0 Mul x2 x3 Mul Mul Mul x2 Mul x0 x3 log Mul x2 Mul x0 x3 Mul tan x0 sec x0 