exp Mul Mul asech acosh Add x3 acsch Mul x0 Mul x0 asec E Mul -4 x0 x6 
Mul exp Mul Mul asech acosh Add x3 acsch Mul x0 Mul x0 asec E Mul -4 x0 x6 Mul x6 Add Mul Mul -4 x0 Mul Mul Mul Mul -1 Add Mul x0 asec E Mul x0 asec E Pow Mul Mul Mul x0 Mul x0 asec E Mul x0 Mul x0 asec E sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul x0 asec E Mul x0 Mul x0 asec E -1 -1 Pow Mul sqrt Add Add x3 acsch Mul x0 Mul x0 asec E -1 sqrt Add 1 Add x3 acsch Mul x0 Mul x0 asec E -1 Pow Mul Mul acosh Add x3 acsch Mul x0 Mul x0 asec E acosh Add x3 acsch Mul x0 Mul x0 asec E sqrt Add 1 Mul -1 Pow Mul acosh Add x3 acsch Mul x0 Mul x0 asec E acosh Add x3 acsch Mul x0 Mul x0 asec E -1 -1 Mul asech acosh Add x3 acsch Mul x0 Mul x0 asec E -4 