Pow x3 Mul 5 Mul acos cosh x0 Pow Mul Add x0 3 Pow x0 Mul log Mul x7 Add x0 x0 -3 x0 
Mul Pow x3 Add Mul 5 Mul acos cosh x0 Pow Mul Add x0 3 Pow x0 Mul log Mul x7 Add x0 x0 -3 x0 -1 Mul Mul x3 log x3 Mul 5 Add Mul Pow Mul Add x0 3 Pow x0 Mul log Mul x7 Add x0 x0 -3 x0 Mul -1 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul acos cosh x0 Mul Pow Mul Add x0 3 Pow x0 Mul log Mul x7 Add x0 x0 -3 Add x0 -1 Add Mul x0 Add Pow x0 Mul log Mul x7 Add x0 x0 -3 Mul Add x0 3 Mul Pow x0 Add Mul log Mul x7 Add x0 x0 -3 -1 Add Mul log Mul x7 Add x0 x0 -3 Mul Mul x0 log x0 Mul -3 Mul Mul x7 2 Pow Mul x7 Add x0 x0 -1 Mul Mul Add x0 3 Pow x0 Mul log Mul x7 Add x0 x0 -3 log Mul Add x0 3 Pow x0 Mul log Mul x7 Add x0 x0 -3 