Mul x4 Add 4 sin Mul -3 acosh Mul Mul Pow atan x3 -1 2 x0 
Mul x4 Mul cos Mul -3 acosh Mul Mul Pow atan x3 -1 2 x0 Mul -3 Mul Mul Pow atan x3 -1 2 Pow Mul sqrt Add Mul Mul Pow atan x3 -1 2 x0 -1 sqrt Add 1 Mul Mul Pow atan x3 -1 2 x0 -1 