Pow x0 acot Add Mul atan Pow Pow 5 sqrt sinh x0 x3 Add Mul x0 x3 x0 x0 
Mul Pow x0 Add acot Add Mul atan Pow Pow 5 sqrt sinh x0 x3 Add Mul x0 x3 x0 x0 -1 Add acot Add Mul atan Pow Pow 5 sqrt sinh x0 x3 Add Mul x0 x3 x0 x0 Mul Mul x0 log x0 Mul -1 Mul Add Add Mul Add Mul x0 x3 x0 Mul Mul Pow Pow 5 sqrt sinh x0 Add x3 -1 Mul x3 Mul Pow 5 Add sqrt sinh x0 -1 Mul 6.60943791243410 Mul Pow Mul 2 sqrt sinh x0 -1 cosh x0 Pow Add 1 Mul Pow Pow 5 sqrt sinh x0 x3 Pow Pow 5 sqrt sinh x0 x3 -1 Mul atan Pow Pow 5 sqrt sinh x0 x3 Add x3 1 1 Pow Add 1 Mul Add Mul atan Pow Pow 5 sqrt sinh x0 x3 Add Mul x0 x3 x0 x0 Add Mul atan Pow Pow 5 sqrt sinh x0 x3 Add Mul x0 x3 x0 x0 -1 