Mul sqrt Pow acos Add Mul acosh x0 Add x7 E pi 2 4 
Mul 4 Mul Pow Mul 2 sqrt Pow acos Add Mul acosh x0 Add x7 E pi 2 -1 Mul acos Add Mul acosh x0 Add x7 E pi Mul 2 Mul -1 Mul Mul Add x7 E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Mul acosh x0 Add x7 E pi Add Mul acosh x0 Add x7 E pi -1 