log Pow Mul Add Pow x2 x0 Add x0 exp Mul x0 -2 Add x0 2 atanh acot E 
Mul Mul Pow Mul Add Pow x2 x0 Add x0 exp Mul x0 -2 Add x0 2 Add atanh acot E -1 Mul atanh acot E Add Mul Add x0 2 Add Mul Pow x2 Add x0 -1 Mul x2 log x2 Add 1 Mul exp Mul x0 -2 -2 Add Pow x2 x0 Add x0 exp Mul x0 -2 Pow Pow Mul Add Pow x2 x0 Add x0 exp Mul x0 -2 Add x0 2 atanh acot E -1 