Mul Pow Pow Pow Mul x0 acosh x0 Pow E x0 sin Add x7 Add x0 1 x0 -2 
Mul -2 Mul Pow Pow Pow Mul x0 acosh x0 Pow E x0 sin Add x7 Add x0 1 Add x0 -1 Add Mul x0 Mul Pow Pow Mul x0 acosh x0 Pow E x0 Add sin Add x7 Add x0 1 -1 Add Mul sin Add x7 Add x0 1 Mul Pow Mul x0 acosh x0 Add Pow E x0 -1 Add Mul Pow E x0 Add acosh x0 Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Mul x0 acosh x0 log Mul x0 acosh x0 Mul Pow E Add x0 -1 Mul E log E Mul Mul Pow Mul x0 acosh x0 Pow E x0 log Pow Mul x0 acosh x0 Pow E x0 cos Add x7 Add x0 1 Mul Pow Pow Mul x0 acosh x0 Pow E x0 sin Add x7 Add x0 1 log Pow Pow Mul x0 acosh x0 Pow E x0 sin Add x7 Add x0 1 