Add Mul x0 x0 Mul Add cosh x5 x0 Mul x0 sqrt sech asin x0 
Add Add x0 x0 Add Mul x0 sqrt sech asin x0 Mul Add cosh x5 x0 Add sqrt sech asin x0 Mul x0 Mul Pow Mul 2 sqrt sech asin x0 -1 Mul Mul tanh asin x0 Mul -1 sech asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 