Mul 0.756802495307928 Add cos sqrt Pow x0 acot Mul x0 cosh x0 Pow Add Add -1 x0 sinh x0 -3 
Mul 0.756802495307928 Add Mul Mul -1 sin sqrt Pow x0 acot Mul x0 cosh x0 Mul Pow Mul 2 sqrt Pow x0 acot Mul x0 cosh x0 -1 Mul Pow x0 Add acot Mul x0 cosh x0 -1 Add acot Mul x0 cosh x0 Mul Mul x0 log x0 Mul -1 Mul Add cosh x0 Mul x0 sinh x0 Pow Add 1 Mul Mul x0 cosh x0 Mul x0 cosh x0 -1 Mul Pow Add Add -1 x0 sinh x0 4 Mul -3 Add 1 cosh x0 