Add acsc Pow Add Mul x2 2 atan Mul x7 pi asin Add -4 atanh Mul x0 cosh x1 9.19122298252796 
Mul -1 Mul Mul Pow Add Mul x2 2 atan Mul x7 pi Add asin Add -4 atanh Mul x0 cosh x1 -1 Mul Mul Add Mul x2 2 atan Mul x7 pi log Add Mul x2 2 atan Mul x7 pi Mul Mul cosh x1 Pow Add 1 Mul -1 Mul Mul x0 cosh x1 Mul x0 cosh x1 -1 Pow sqrt Add 1 Mul -1 Mul Add -4 atanh Mul x0 cosh x1 Add -4 atanh Mul x0 cosh x1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add Mul x2 2 atan Mul x7 pi asin Add -4 atanh Mul x0 cosh x1 Pow Add Mul x2 2 atan Mul x7 pi asin Add -4 atanh Mul x0 cosh x1 -1 Pow Add Mul x2 2 atan Mul x7 pi asin Add -4 atanh Mul x0 cosh x1 Pow Add Mul x2 2 atan Mul x7 pi asin Add -4 atanh Mul x0 cosh x1 -1 