Pow Add acosh Mul -1 x0 1 Mul Add x1 x0 pi 
Mul Pow Add acosh Mul -1 x0 1 Add Mul Add x1 x0 pi -1 Add Mul Mul Add x1 x0 pi Mul -1 Pow Mul sqrt Add Mul -1 x0 -1 sqrt Add 1 Mul -1 x0 -1 Mul Mul Add acosh Mul -1 x0 1 log Add acosh Mul -1 x0 1 pi 