Mul -4 Mul x0 Mul Add x0 acoth Pow x3 Add E x0 -0.999909204262595 
Mul -4 Add Mul Add x0 acoth Pow x3 Add E x0 -0.999909204262595 Mul x0 Mul -0.999909204262595 Add 1 Mul Mul Pow x3 Add Add E x0 -1 Mul x3 log x3 Pow Add 1 Mul -1 Mul Pow x3 Add E x0 Pow x3 Add E x0 -1 