Pow Add 2 x5 Pow acosh x4 Mul acos Pow cosh x3 x0 pi 
Mul Pow Add 2 x5 Add Pow acosh x4 Mul acos Pow cosh x3 x0 pi -1 Mul Mul Add 2 x5 log Add 2 x5 Mul Pow acosh x4 Add Mul acos Pow cosh x3 x0 pi -1 Mul Mul acosh x4 log acosh x4 Mul pi Mul -1 Mul Mul Pow cosh x3 Add x0 -1 Mul cosh x3 log cosh x3 Pow sqrt Add 1 Mul -1 Mul Pow cosh x3 x0 Pow cosh x3 x0 -1 