Pow Add pi Mul Pow x4 csc acos x7 cosh acos x0 Pow x0 acosh x3 
Mul Pow Add pi Mul Pow x4 csc acos x7 cosh acos x0 Add Pow x0 acosh x3 -1 Add Mul Pow x0 acosh x3 Mul Pow x4 csc acos x7 Mul sinh acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add pi Mul Pow x4 csc acos x7 cosh acos x0 log Add pi Mul Pow x4 csc acos x7 cosh acos x0 Mul Pow x0 Add acosh x3 -1 acosh x3 