Mul tanh x1 Add Pow Pow Mul x0 x0 x2 acoth x0 Add Pow x3 x0 x0 
Mul tanh x1 Add Mul Pow Pow Mul x0 x0 x2 Add acoth x0 -1 Add Mul acoth x0 Mul Pow Mul x0 x0 Add x2 -1 Mul x2 Add x0 x0 Mul Mul Pow Mul x0 x0 x2 log Pow Mul x0 x0 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Add Mul Pow x3 Add x0 -1 Mul x3 log x3 1 