Add Add Add Pow Mul Add -5 Mul x0 cosh x0 x7 1.85081571768093 x0 Pow log Add 0.346573590279973 x7 -3 acot Mul x0 x0 
Add Add Mul Pow Mul Add -5 Mul x0 cosh x0 x7 0.850815717680925 Mul 1.85081571768093 Mul x7 Add cosh x0 Mul x0 sinh x0 1 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 