Mul x0 Mul Add Add x1 2 Mul acot x5 x0 acot asech Mul x0 atanh Pow x7 5 
Add Mul Add Add x1 2 Mul acot x5 x0 acot asech Mul x0 atanh Pow x7 5 Mul x0 Add Mul acot asech Mul x0 atanh Pow x7 5 acot x5 Mul Add Add x1 2 Mul acot x5 x0 Mul -1 Mul Mul atanh Pow x7 5 Pow Mul Mul Mul x0 atanh Pow x7 5 Mul x0 atanh Pow x7 5 sqrt Add 1 Mul -1 Pow Mul Mul x0 atanh Pow x7 5 Mul x0 atanh Pow x7 5 -1 -1 Pow Add 1 Mul asech Mul x0 atanh Pow x7 5 asech Mul x0 atanh Pow x7 5 -1 