Mul acosh sinh Add Pow x7 acot x0 -2 Pow Pow Pow 2 Add x0 4 x0 Mul x0 log Mul 4 x0 
Add Mul Pow Pow Pow 2 Add x0 4 x0 Mul x0 log Mul 4 x0 Mul Mul cosh Add Pow x7 acot x0 -2 Mul Pow x7 Add acot x0 -1 Mul Mul x7 log x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add sinh Add Pow x7 acot x0 -2 -1 sqrt Add 1 sinh Add Pow x7 acot x0 -2 -1 Mul acosh sinh Add Pow x7 acot x0 -2 Mul Pow Pow Pow 2 Add x0 4 x0 Add Mul x0 log Mul 4 x0 -1 Add Mul Mul x0 log Mul 4 x0 Mul Pow Pow 2 Add x0 4 Add x0 -1 Add Mul x0 Mul Pow 2 Add Add x0 4 -1 2.69314718055995 Mul Pow 2 Add x0 4 log Pow 2 Add x0 4 Mul Mul Pow Pow 2 Add x0 4 x0 log Pow Pow 2 Add x0 4 x0 Add log Mul 4 x0 Mul x0 Mul 4 Pow Mul 4 x0 -1 