Add Pow Mul asech Mul x0 acosh x4 x0 x5 5 
Mul Pow Mul asech Mul x0 acosh x4 x0 Add x5 -1 Mul x5 Add Mul x0 Mul acosh x4 Pow Mul Mul Mul x0 acosh x4 Mul x0 acosh x4 sqrt Add 1 Mul -1 Pow Mul Mul x0 acosh x4 Mul x0 acosh x4 -1 -1 asech Mul x0 acosh x4 