Mul Mul x0 Mul x0 acosh x0 sinh Pow x0 sin x3 
Add Mul sinh Pow x0 sin x3 Add Mul x0 acosh x0 Mul x0 Add acosh x0 Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul x0 Mul x0 acosh x0 Mul cosh Pow x0 sin x3 Mul Pow x0 Add sin x3 -1 sin x3 