Mul Mul Mul -5 x0 8165619676597685 exp Add x0 Add Add x7 Mul x4 Pow acot log atanh x0 x0 -4 
Add Mul exp Add x0 Add Add x7 Mul x4 Pow acot log atanh x0 x0 -4 8165619676597680 Mul Mul Mul -5 x0 8165619676597685 Mul exp Add x0 Add Add x7 Mul x4 Pow acot log atanh x0 x0 -4 Add 1 Mul x4 Mul Pow acot log atanh x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow atanh x0 -1 Pow Add 1 Mul log atanh x0 log atanh x0 -1 Mul acot log atanh x0 log acot log atanh x0 