Mul acos Mul x0 Pow tan x0 sqrt Pow coth Add x0 x7 Add x0 x6 Add Mul x0 Mul x2 x4 atanh x2 
Add Mul Add Mul x0 Mul x2 x4 atanh x2 Mul -1 Mul Add Pow tan x0 sqrt Pow coth Add x0 x7 Add x0 x6 Mul x0 Mul Pow tan x0 Add sqrt Pow coth Add x0 x7 Add x0 x6 -1 Add Mul sqrt Pow coth Add x0 x7 Add x0 x6 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Pow Mul 2 sqrt Pow coth Add x0 x7 Add x0 x6 -1 Mul Pow coth Add x0 x7 Add Add x0 x6 -1 Add Mul Add x0 x6 Mul -1 Pow csch Add x0 x7 2 Mul coth Add x0 x7 log coth Add x0 x7 Pow sqrt Add 1 Mul -1 Mul Mul x0 Pow tan x0 sqrt Pow coth Add x0 x7 Add x0 x6 Mul x0 Pow tan x0 sqrt Pow coth Add x0 x7 Add x0 x6 -1 Mul acos Mul x0 Pow tan x0 sqrt Pow coth Add x0 x7 Add x0 x6 Mul x2 x4 