Add -3 atanh Add Pow x7 -5 Pow Mul x7 asech acot Mul E Mul acot x0 x6 2 
Mul Mul Mul x7 asech acot Mul E Mul acot x0 x6 Mul 2 Mul x7 Mul Mul -1 Mul Mul E Mul x6 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul E Mul acot x0 x6 Mul E Mul acot x0 x6 -1 Pow Mul Mul acot Mul E Mul acot x0 x6 acot Mul E Mul acot x0 x6 sqrt Add 1 Mul -1 Pow Mul acot Mul E Mul acot x0 x6 acot Mul E Mul acot x0 x6 -1 -1 Pow Add 1 Mul -1 Mul Add Pow x7 -5 Pow Mul x7 asech acot Mul E Mul acot x0 x6 2 Add Pow x7 -5 Pow Mul x7 asech acot Mul E Mul acot x0 x6 2 -1 