Mul -3 asinh Add 3 Add x0 Mul x1 Add x0 Pow log asin Pow x7 Mul x1 acos Add cosh x0 1 asinh x1 
Mul -3 Mul Add 1 Mul x1 Add 1 Mul Pow log asin Pow x7 Mul x1 acos Add cosh x0 1 Add asinh x1 -1 Mul asinh x1 Mul Mul Mul Pow x7 Add Mul x1 acos Add cosh x0 1 -1 Mul Mul x7 log x7 Mul x1 Mul -1 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul Add cosh x0 1 Add cosh x0 1 -1 Pow sqrt Add 1 Mul -1 Mul Pow x7 Mul x1 acos Add cosh x0 1 Pow x7 Mul x1 acos Add cosh x0 1 -1 Pow asin Pow x7 Mul x1 acos Add cosh x0 1 -1 Pow sqrt Add 1 Mul Add 3 Add x0 Mul x1 Add x0 Pow log asin Pow x7 Mul x1 acos Add cosh x0 1 asinh x1 Add 3 Add x0 Mul x1 Add x0 Pow log asin Pow x7 Mul x1 acos Add cosh x0 1 asinh x1 -1 