Mul acsch Pow Pow x7 x0 0.319944831565944 sqrt x0 
Add Mul sqrt x0 Mul Mul -1 Mul Pow Pow x7 x0 -0.680055168434056 Mul 0.319944831565944 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Mul Mul Pow Pow x7 x0 0.319944831565944 Pow Pow x7 x0 0.319944831565944 sqrt Add 1 Mul -1 Pow Mul Pow Pow x7 x0 0.319944831565944 Pow Pow x7 x0 0.319944831565944 -1 -1 Mul acsch Pow Pow x7 x0 0.319944831565944 Pow Mul 2 sqrt x0 -1 