Mul x0 Pow Add Pow x0 acosh atanh sin Mul E 8165619676597685 x0 x2 
Add Pow Add Pow x0 acosh atanh sin Mul E 8165619676597685 x0 x2 Mul x0 Mul Pow Add Pow x0 acosh atanh sin Mul E 8165619676597685 x0 Add x2 -1 Mul x2 Add Mul Pow x0 Add acosh atanh sin Mul E 8165619676597685 -1 acosh atanh sin Mul E 8165619676597685 1 