Pow x6 Pow asech Add Add x0 x1 2 acosh x4 
Mul Pow x6 Add Pow asech Add Add x0 x1 2 acosh x4 -1 Mul Mul x6 log x6 Mul Pow asech Add Add x0 x1 2 Add acosh x4 -1 Mul acosh x4 Pow Mul Mul Add Add x0 x1 2 Add Add x0 x1 2 sqrt Add 1 Mul -1 Pow Mul Add Add x0 x1 2 Add Add x0 x1 2 -1 -1 