acot Add Add atanh x0 Pow atan x0 E x6 
Mul -1 Mul Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow atan x0 Add E -1 Mul E Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Add Add atanh x0 Pow atan x0 E x6 Add Add atanh x0 Pow atan x0 E x6 -1 