Mul x1 Mul x0 Pow sqrt Add Add -3 x7 Add Add Pow tan x0 x0 x0 coth Add x0 x7 -3 
Mul x1 Add Pow sqrt Add Add -3 x7 Add Add Pow tan x0 x0 x0 coth Add x0 x7 -3 Mul x0 Mul Pow sqrt Add Add -3 x7 Add Add Pow tan x0 x0 x0 coth Add x0 x7 4 Mul -3 Mul Pow Mul 2 sqrt Add Add -3 x7 Add Add Pow tan x0 x0 x0 coth Add x0 x7 -1 Add Add Mul Pow tan x0 Add x0 -1 Add Mul x0 Pow sec x0 2 Mul tan x0 log tan x0 1 Mul -1 Pow csch Add x0 x7 2 