sqrt atanh Mul -1 Pow x3 Mul x0 Add -5 Mul x0 asech Pow 8 acosh x6 
Mul Pow Mul 2 sqrt atanh Mul -1 Pow x3 Mul x0 Add -5 Mul x0 asech Pow 8 acosh x6 -1 Mul Mul -1 Mul Pow x3 Add Mul x0 Add -5 Mul x0 asech Pow 8 acosh x6 -1 Mul Mul x3 log x3 Add Add -5 Mul x0 asech Pow 8 acosh x6 Mul x0 asech Pow 8 acosh x6 Pow Add 1 Mul -1 Mul Mul -1 Pow x3 Mul x0 Add -5 Mul x0 asech Pow 8 acosh x6 Mul -1 Pow x3 Mul x0 Add -5 Mul x0 asech Pow 8 acosh x6 -1 