Mul Mul Mul acos cosh x0 x2 Add x3 x0 Mul x2 Mul Mul Mul pi 5 Pow sqrt x7 x0 x0 
Add Mul Mul x2 Mul Mul Mul pi 5 Pow sqrt x7 x0 x0 Add Mul Add x3 x0 Mul x2 Mul -1 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul acos cosh x0 x2 Mul Mul Mul acos cosh x0 x2 Add x3 x0 Mul x2 Add Mul x0 Mul Mul pi 5 Mul Pow sqrt x7 Add x0 -1 Mul sqrt x7 log sqrt x7 Mul Mul pi 5 Pow sqrt x7 x0 