asin Add Mul 3 Add acosh Mul 0.521407540200299 x0 E Mul Mul -3 Add x6 x0 x0 
Mul Add Mul 3 Mul 0.521407540200299 Pow Mul sqrt Add Mul 0.521407540200299 x0 -1 sqrt Add 1 Mul 0.521407540200299 x0 -1 Add Mul x0 -3 Mul -3 Add x6 x0 Pow sqrt Add 1 Mul -1 Mul Add Mul 3 Add acosh Mul 0.521407540200299 x0 E Mul Mul -3 Add x6 x0 x0 Add Mul 3 Add acosh Mul 0.521407540200299 x0 E Mul Mul -3 Add x6 x0 x0 -1 