atan Pow x6 Mul Mul Add x2 asech Add Add Mul x0 x0 32 Mul acosh x0 x0 x5 x3 
Mul Mul Pow x6 Add Mul Mul Add x2 asech Add Add Mul x0 x0 32 Mul acosh x0 x0 x5 x3 -1 Mul Mul x6 log x6 Mul x3 Mul x5 Mul Add Add x0 x0 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 Pow Mul Mul Add Add Mul x0 x0 32 Mul acosh x0 x0 Add Add Mul x0 x0 32 Mul acosh x0 x0 sqrt Add 1 Mul -1 Pow Mul Add Add Mul x0 x0 32 Mul acosh x0 x0 Add Add Mul x0 x0 32 Mul acosh x0 x0 -1 -1 Pow Add 1 Mul Pow x6 Mul Mul Add x2 asech Add Add Mul x0 x0 32 Mul acosh x0 x0 x5 x3 Pow x6 Mul Mul Add x2 asech Add Add Mul x0 x0 32 Mul acosh x0 x0 x5 x3 -1 