sqrt Mul Add x0 sinh Mul x2 Pow Mul 2 E cos Pow x0 x0 acot Add -2 E 
Mul Pow Mul 2 sqrt Mul Add x0 sinh Mul x2 Pow Mul 2 E cos Pow x0 x0 acot Add -2 E -1 Mul acot Add -2 E Add 1 Mul cosh Mul x2 Pow Mul 2 E cos Pow x0 x0 Mul x2 Mul Pow Mul 2 E Add cos Pow x0 x0 -1 Mul Mul Mul 2 E log Mul 2 E Mul Mul -1 sin Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 