Pow Pow Mul x0 x1 cot acosh Pow x4 2 Add Mul x3 cosh x2 Add Mul acos x0 Mul x0 x0 5 
Mul Pow Pow Mul x0 x1 cot acosh Pow x4 2 Add Add Mul x3 cosh x2 Add Mul acos x0 Mul x0 x0 5 -1 Add Mul Add Mul x3 cosh x2 Add Mul acos x0 Mul x0 x0 5 Mul Pow Mul x0 x1 Add cot acosh Pow x4 2 -1 Mul cot acosh Pow x4 2 x1 Mul Mul Pow Mul x0 x1 cot acosh Pow x4 2 log Pow Mul x0 x1 cot acosh Pow x4 2 Add Mul Mul x0 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Add x0 x0 