Mul Add Mul x0 log atan asinh Add x0 acos Pow Pow 2 cosh x7 Mul 2 x0 Mul x7 4 Pow x0 x0 
Add Mul Pow x0 x0 Add log atan asinh Add x0 acos Pow Pow 2 cosh x7 Mul 2 x0 Mul x0 Mul Mul Mul Add 1 Mul -1 Mul Mul Pow Pow 2 cosh x7 Add Mul 2 x0 -1 Mul Mul Pow 2 cosh x7 log Pow 2 cosh x7 2 Pow sqrt Add 1 Mul -1 Mul Pow Pow 2 cosh x7 Mul 2 x0 Pow Pow 2 cosh x7 Mul 2 x0 -1 Pow sqrt Add 1 Mul Add x0 acos Pow Pow 2 cosh x7 Mul 2 x0 Add x0 acos Pow Pow 2 cosh x7 Mul 2 x0 -1 Pow Add 1 Mul asinh Add x0 acos Pow Pow 2 cosh x7 Mul 2 x0 asinh Add x0 acos Pow Pow 2 cosh x7 Mul 2 x0 -1 Pow atan asinh Add x0 acos Pow Pow 2 cosh x7 Mul 2 x0 -1 Mul Add Mul x0 log atan asinh Add x0 acos Pow Pow 2 cosh x7 Mul 2 x0 Mul x7 4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 