Pow Mul atanh x0 3 Mul x0 Pow csch x3 2 
Mul Pow Mul atanh x0 3 Add Mul x0 Pow csch x3 2 -1 Add Mul Mul x0 Pow csch x3 2 Mul 3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul atanh x0 3 log Mul atanh x0 3 Pow csch x3 2 