Add x5 Add Mul sin Pow Add Mul x0 x0 E Mul acosh x0 x0 x3 x0 
Add Mul x3 Mul cos Pow Add Mul x0 x0 E Mul acosh x0 x0 Mul Pow Add Mul x0 x0 E Add Mul acosh x0 x0 -1 Add Mul Mul acosh x0 x0 Add x0 x0 Mul Mul Add Mul x0 x0 E log Add Mul x0 x0 E Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 1 