Add Add x0 Pow x3 4 acosh Pow Add x0 Mul x2 log Mul Pow x0 3 acosh x1 sin x0 
Add 1 Mul Mul Pow Add x0 Mul x2 log Mul Pow x0 3 acosh x1 Add sin x0 -1 Add Mul sin x0 Add 1 Mul x2 Mul Mul acosh x1 Mul Pow x0 2 3 Pow Mul Pow x0 3 acosh x1 -1 Mul Mul Add x0 Mul x2 log Mul Pow x0 3 acosh x1 log Add x0 Mul x2 log Mul Pow x0 3 acosh x1 cos x0 Pow Mul sqrt Add Pow Add x0 Mul x2 log Mul Pow x0 3 acosh x1 sin x0 -1 sqrt Add 1 Pow Add x0 Mul x2 log Mul Pow x0 3 acosh x1 sin x0 -1 