Mul x4 Mul atanh Mul acoth x0 log Pow x0 Mul -4 x4 -2 
Mul x4 Mul -2 Mul Add Mul log Pow x0 Mul -4 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Mul Pow x0 Add Mul -4 x4 -1 Mul -4 x4 Pow Pow x0 Mul -4 x4 -1 Pow Add 1 Mul -1 Mul Mul acoth x0 log Pow x0 Mul -4 x4 Mul acoth x0 log Pow x0 Mul -4 x4 -1 