asech Mul x3 exp Mul Add exp Add Add Mul x6 E x0 x0 x0 acosh x5 
Mul Mul x3 Mul exp Mul Add exp Add Add Mul x6 E x0 x0 x0 acosh x5 Mul acosh x5 Add Mul exp Add Add Mul x6 E x0 x0 2 1 Pow Mul Mul Mul x3 exp Mul Add exp Add Add Mul x6 E x0 x0 x0 acosh x5 Mul x3 exp Mul Add exp Add Add Mul x6 E x0 x0 x0 acosh x5 sqrt Add 1 Mul -1 Pow Mul Mul x3 exp Mul Add exp Add Add Mul x6 E x0 x0 x0 acosh x5 Mul x3 exp Mul Add exp Add Add Mul x6 E x0 x0 x0 acosh x5 -1 -1 