Add Mul Add Add x2 x0 x0 x0 Mul Mul x0 -2 Mul acoth Mul log E x0 x0 
Add Add Mul x0 2 Add Add x2 x0 x0 Add Mul Mul acoth Mul log E x0 x0 -2 Mul Mul x0 -2 Add Mul x0 Mul log E Pow Add 1 Mul -1 Mul Mul log E x0 Mul log E x0 -1 acoth Mul log E x0 