Mul 3 Pow Mul Add sqrt x0 acot Mul Pow 2 Add cosh x0 Pow pi x0 acot x0 x0 x6 
Mul 3 Mul Pow Mul Add sqrt x0 acot Mul Pow 2 Add cosh x0 Pow pi x0 acot x0 x0 Add x6 -1 Mul x6 Add Mul x0 Add Pow Mul 2 sqrt x0 -1 Mul -1 Mul Add Mul acot x0 Mul Pow 2 Add Add cosh x0 Pow pi x0 -1 Mul 2.69314718055995 Add sinh x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow 2 Add cosh x0 Pow pi x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul Pow 2 Add cosh x0 Pow pi x0 acot x0 Mul Pow 2 Add cosh x0 Pow pi x0 acot x0 -1 Add sqrt x0 acot Mul Pow 2 Add cosh x0 Pow pi x0 acot x0 