Pow Add atanh sqrt Pow 3 E x0 Mul x0 asech Add 3 Mul x7 asec x4 
Mul Pow Add atanh sqrt Pow 3 E x0 Add Mul x0 asech Add 3 Mul x7 asec x4 -1 Add Mul x0 asech Add 3 Mul x7 asec x4 Mul Mul Add atanh sqrt Pow 3 E x0 log Add atanh sqrt Pow 3 E x0 asech Add 3 Mul x7 asec x4 