Mul Mul x0 Add Mul x0 Mul Add -5 log Mul x0 x6 x0 -3 acos atan cosh x1 
Mul acos atan cosh x1 Add Add Mul x0 Mul Add -5 log Mul x0 x6 x0 -3 Mul x0 Add Mul Add -5 log Mul x0 x6 x0 Mul x0 Add Mul x0 Mul x6 Pow Mul x0 x6 -1 Add -5 log Mul x0 x6 