sin Pow acoth Add exp atan x0 Pow Pow x7 x0 -3 -0.416146836547142 
Mul cos Pow acoth Add exp atan x0 Pow Pow x7 x0 -3 -0.416146836547142 Mul Pow acoth Add exp atan x0 Pow Pow x7 x0 -3 -1.41614683654714 Mul -0.416146836547142 Mul Add Mul exp atan x0 Pow Add 1 Mul x0 x0 -1 Mul Pow Pow x7 x0 4 Mul -3 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Add 1 Mul -1 Mul Add exp atan x0 Pow Pow x7 x0 -3 Add exp atan x0 Pow Pow x7 x0 -3 -1 