Mul x0 Pow x0 Add Mul Add Pow 3 E acsch atan x7 x0 x6 
Add Pow x0 Add Mul Add Pow 3 E acsch atan x7 x0 x6 Mul x0 Mul Pow x0 Add Add Mul Add Pow 3 E acsch atan x7 x0 x6 -1 Add Add Mul Add Pow 3 E acsch atan x7 x0 x6 Mul Mul x0 log x0 Add Pow 3 E acsch atan x7 