Mul Pow coth Add x7 Add Pow sec x0 -1 Add asin Mul -4 acos x1 atanh x0 Add x7 x0 x5 
Mul x5 Mul Pow coth Add x7 Add Pow sec x0 -1 Add asin Mul -4 acos x1 atanh x0 Add Add x7 x0 -1 Add Mul Add x7 x0 Mul Mul -1 Pow csch Add x7 Add Pow sec x0 -1 Add asin Mul -4 acos x1 atanh x0 2 Add Mul Pow sec x0 2 Mul -1 Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul coth Add x7 Add Pow sec x0 -1 Add asin Mul -4 acos x1 atanh x0 log coth Add x7 Add Pow sec x0 -1 Add asin Mul -4 acos x1 atanh x0 