Mul asin x5 Mul -4 Mul Add x0 2.23606797749979 Add Pow Pow x0 Add Pow x2 x0 x0 x7 Pow x7 cosh x0 
Mul asin x5 Mul -4 Add Add Pow Pow x0 Add Pow x2 x0 x0 x7 Pow x7 cosh x0 Mul Add x0 2.23606797749979 Add Mul Pow Pow x0 Add Pow x2 x0 x0 Add x7 -1 Mul x7 Mul Pow x0 Add Add Pow x2 x0 x0 -1 Add Add Pow x2 x0 x0 Mul Mul x0 log x0 Add Mul Pow x2 Add x0 -1 Mul x2 log x2 1 Mul Pow x7 Add cosh x0 -1 Mul Mul x7 log x7 sinh x0 