Pow Mul Add atanh x0 Mul 4 x0 2 Add x7 Add coth x0 Mul x0 asin x7 
Mul Pow Mul Add atanh x0 Mul 4 x0 2 Add Add x7 Add coth x0 Mul x0 asin x7 -1 Add Mul Add x7 Add coth x0 Mul x0 asin x7 Mul 2 Add Pow Add 1 Mul -1 Mul x0 x0 -1 4 Mul Mul Mul Add atanh x0 Mul 4 x0 2 log Mul Add atanh x0 Mul 4 x0 2 Add Mul -1 Pow csch x0 2 asin x7 