Pow acosh Mul x0 Add x4 x1 Mul Mul x3 Add cot x2 x7 Pow sqrt E x0 
Mul Pow acosh Mul x0 Add x4 x1 Add Mul Mul x3 Add cot x2 x7 Pow sqrt E x0 -1 Add Mul Mul Mul x3 Add cot x2 x7 Pow sqrt E x0 Mul Add x4 x1 Pow Mul sqrt Add Mul x0 Add x4 x1 -1 sqrt Add 1 Mul x0 Add x4 x1 -1 Mul Mul acosh Mul x0 Add x4 x1 log acosh Mul x0 Add x4 x1 Mul Mul x3 Add cot x2 x7 Mul Pow sqrt E Add x0 -1 Mul sqrt E log sqrt E 