sqrt Add Mul -3 Add Add Mul Pow x0 cosh x6 3 x0 x0 Add asin x0 asin x0 
Mul Pow Mul 2 sqrt Add Mul -3 Add Add Mul Pow x0 cosh x6 3 x0 x0 Add asin x0 asin x0 -1 Add Mul -3 Add Add Mul 3 Mul Pow x0 Add cosh x6 -1 cosh x6 1 1 Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 