Add x0 Pow cosh Mul Pow acos exp asinh x0 Add Pow x0 -1 x3 Mul x0 2 x0 
Add 1 Mul Pow cosh Mul Pow acos exp asinh x0 Add Pow x0 -1 x3 Mul x0 2 Add x0 -1 Add Mul x0 Mul sinh Mul Pow acos exp asinh x0 Add Pow x0 -1 x3 Mul x0 2 Add Mul Mul x0 2 Mul Pow acos exp asinh x0 Add Add Pow x0 -1 x3 -1 Add Mul Add Pow x0 -1 x3 Mul -1 Mul Mul exp asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul exp asinh x0 exp asinh x0 -1 Mul Mul acos exp asinh x0 log acos exp asinh x0 Mul Pow x0 2 -1 Mul Pow acos exp asinh x0 Add Pow x0 -1 x3 2 Mul cosh Mul Pow acos exp asinh x0 Add Pow x0 -1 x3 Mul x0 2 log cosh Mul Pow acos exp asinh x0 Add Pow x0 -1 x3 Mul x0 2 