Pow Mul x0 8165619676597685 Pow Mul Mul acoth x0 x0 x0 exp Mul x0 x0 
Mul Pow Mul x0 8165619676597685 Add Pow Mul Mul acoth x0 x0 x0 exp Mul x0 x0 -1 Add Mul Pow Mul Mul acoth x0 x0 x0 exp Mul x0 x0 8165619676597685 Mul Mul Mul x0 8165619676597685 log Mul x0 8165619676597685 Mul Pow Mul Mul acoth x0 x0 x0 Add exp Mul x0 x0 -1 Add Mul exp Mul x0 x0 Add Mul x0 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 Mul acoth x0 x0 Mul Mul Mul Mul acoth x0 x0 x0 log Mul Mul acoth x0 x0 x0 Mul exp Mul x0 x0 Add x0 x0 