Pow Mul Pow Add x0 x3 x0 x4 cot acosh Mul x7 -0.549306144334055 
Mul Pow Mul Pow Add x0 x3 x0 x4 Add cot acosh Mul x7 -0.549306144334055 -1 Mul cot acosh Mul x7 -0.549306144334055 Mul x4 Mul Pow Add x0 x3 Add x0 -1 Add x0 Mul Add x0 x3 log Add x0 x3 