Mul x0 Mul Pow x0 x1 Pow sqrt atanh sin Add x0 x0 x4 
Add Mul Pow x0 x1 Pow sqrt atanh sin Add x0 x0 x4 Mul x0 Add Mul Pow sqrt atanh sin Add x0 x0 x4 Mul Pow x0 Add x1 -1 x1 Mul Pow x0 x1 Mul Pow sqrt atanh sin Add x0 x0 Add x4 -1 Mul x4 Mul Pow Mul 2 sqrt atanh sin Add x0 x0 -1 Mul Mul cos Add x0 x0 2 Pow Add 1 Mul -1 Mul sin Add x0 x0 sin Add x0 x0 -1 