Add Pow atan x0 Add acos cosh x1 3 acos Mul x0 x5 
Add Mul Pow atan x0 Add Add acos cosh x1 3 -1 Mul Add acos cosh x1 3 Pow Add 1 Mul x0 x0 -1 Mul -1 Mul x5 Pow sqrt Add 1 Mul -1 Mul Mul x0 x5 Mul x0 x5 -1 