Add Mul Add Mul atanh x0 Mul atan acot x0 3 tanh Pow Mul E x0 sec cot E 0.975148299173012 x0 
Add Mul 0.975148299173012 Add Add Mul Mul atan acot x0 3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul 3 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul acot x0 acot x0 -1 Mul Pow sech Pow Mul E x0 sec cot E 2 Mul Pow Mul E x0 Add sec cot E -1 Mul sec cot E E 1 