Mul Mul acosh x3 Pow Add Pow x0 Mul cosh Mul x7 3 asec acos Add -1 x0 x0 Pow Mul x0 pi Add x5 x0 x0 
Add Mul x0 Mul acosh x3 Mul Pow Add Pow x0 Mul cosh Mul x7 3 asec acos Add -1 x0 x0 Add Pow Mul x0 pi Add x5 x0 -1 Add Mul Pow Mul x0 pi Add x5 x0 Add Mul Pow x0 Add Mul cosh Mul x7 3 asec acos Add -1 x0 -1 Add Mul cosh Mul x7 3 asec acos Add -1 x0 Mul Mul x0 log x0 Mul cosh Mul x7 3 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul Add -1 x0 Add -1 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos Add -1 x0 acos Add -1 x0 -1 acos Add -1 x0 acos Add -1 x0 -1 1 Mul Mul Add Pow x0 Mul cosh Mul x7 3 asec acos Add -1 x0 x0 log Add Pow x0 Mul cosh Mul x7 3 asec acos Add -1 x0 x0 Mul Pow Mul x0 pi Add Add x5 x0 -1 Add Mul Add x5 x0 pi Mul Mul x0 pi log Mul x0 pi Mul acosh x3 Pow Add Pow x0 Mul cosh Mul x7 3 asec acos Add -1 x0 x0 Pow Mul x0 pi Add x5 x0 