Mul Add x0 acot Pow sqrt x4 Mul x0 Mul Add 5 x0 pi Mul cosh x0 -1 
Add Mul Mul cosh x0 -1 Add 1 Mul -1 Mul Mul Pow sqrt x4 Add Mul x0 Mul Add 5 x0 pi -1 Mul Mul sqrt x4 log sqrt x4 Add Mul Add 5 x0 pi Mul x0 pi Pow Add 1 Mul Pow sqrt x4 Mul x0 Mul Add 5 x0 pi Pow sqrt x4 Mul x0 Mul Add 5 x0 pi -1 Mul Add x0 acot Pow sqrt x4 Mul x0 Mul Add 5 x0 pi Mul -1 sinh x0 