Mul Pow x0 4 Mul Add sech x5 0.457657554360286 acosh Mul x6 Mul asin x2 x0 
Add Mul Mul Add sech x5 0.457657554360286 acosh Mul x6 Mul asin x2 x0 Mul Pow x0 3 4 Mul Pow x0 4 Mul Add sech x5 0.457657554360286 Mul Mul x6 asin x2 Pow Mul sqrt Add Mul x6 Mul asin x2 x0 -1 sqrt Add 1 Mul x6 Mul asin x2 x0 -1 