Mul Pow x0 Pow Pow Pow Mul cot sqrt Add x4 -3 Pow x7 -4 acosh x0 x2 2 E 
Mul E Mul Pow x0 Add Pow Pow Pow Mul cot sqrt Add x4 -3 Pow x7 -4 acosh x0 x2 2 -1 Add Pow Pow Pow Mul cot sqrt Add x4 -3 Pow x7 -4 acosh x0 x2 2 Mul Mul x0 log x0 Mul Pow Pow Mul cot sqrt Add x4 -3 Pow x7 -4 acosh x0 x2 Mul 2 Mul Pow Pow Mul cot sqrt Add x4 -3 Pow x7 -4 acosh x0 Add x2 -1 Mul x2 Mul Pow Mul cot sqrt Add x4 -3 Pow x7 -4 Add acosh x0 -1 Mul Mul Mul cot sqrt Add x4 -3 Pow x7 -4 log Mul cot sqrt Add x4 -3 Pow x7 -4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 