Mul x0 atanh log Add x7 Mul tan x2 Mul Mul Pow Add x3 Add x0 x0 x0 coth x3 x0 
Add atanh log Add x7 Mul tan x2 Mul Mul Pow Add x3 Add x0 x0 x0 coth x3 x0 Mul x0 Mul Mul Mul tan x2 Add Mul x0 Mul coth x3 Mul Pow Add x3 Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x3 Add x0 x0 log Add x3 Add x0 x0 Mul Pow Add x3 Add x0 x0 x0 coth x3 Pow Add x7 Mul tan x2 Mul Mul Pow Add x3 Add x0 x0 x0 coth x3 x0 -1 Pow Add 1 Mul -1 Mul log Add x7 Mul tan x2 Mul Mul Pow Add x3 Add x0 x0 x0 coth x3 x0 log Add x7 Mul tan x2 Mul Mul Pow Add x3 Add x0 x0 x0 coth x3 x0 -1 