Mul x5 Add Add 1 Add Mul x0 Pow x0 cosh cos acot exp Mul x2 x3 x0 x0 
Mul x5 Add Add Add Pow x0 cosh cos acot exp Mul x2 x3 Mul x0 Mul Pow x0 Add cosh cos acot exp Mul x2 x3 -1 cosh cos acot exp Mul x2 x3 1 1 