Pow atan sinh x1 Add 2 Mul Add 4 x2 Pow Pow Pow 4 x3 -3 Mul x2 Pow acoth Add x0 log x6 x0 
Mul Pow atan sinh x1 Add Add 2 Mul Add 4 x2 Pow Pow Pow 4 x3 -3 Mul x2 Pow acoth Add x0 log x6 x0 -1 Mul Mul atan sinh x1 log atan sinh x1 Mul Add 4 x2 Mul Pow Pow Pow 4 x3 -3 Add Mul x2 Pow acoth Add x0 log x6 x0 -1 Mul Mul Pow Pow 4 x3 -3 log Pow Pow 4 x3 -3 Mul x2 Mul Pow acoth Add x0 log x6 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul Add x0 log x6 Add x0 log x6 -1 Mul acoth Add x0 log x6 log acoth Add x0 log x6 