Mul Mul Mul x3 Mul Add sqrt coth sqrt Pow x0 x5 x0 4 -2 tan x6 
Mul tan x6 Mul -2 Mul x3 Mul 4 Add Mul Pow Mul 2 sqrt coth sqrt Pow x0 x5 -1 Mul Mul -1 Pow csch sqrt Pow x0 x5 2 Mul Pow Mul 2 sqrt Pow x0 x5 -1 Mul Pow x0 Add x5 -1 x5 1 