atan Mul E Add x0 Mul Mul x0 Add x0 x0 acoth cos sinh Mul -4 Pow E x2 
Mul Mul E Add 1 Mul acoth cos sinh Mul -4 Pow E x2 Add Add x0 x0 Mul x0 2 Pow Add 1 Mul Mul E Add x0 Mul Mul x0 Add x0 x0 acoth cos sinh Mul -4 Pow E x2 Mul E Add x0 Mul Mul x0 Add x0 x0 acoth cos sinh Mul -4 Pow E x2 -1 