Add Add acosh x0 -1 Add -3 Pow x6 Add x0 Mul Add pi -3 Pow Pow sinh x7 x7 x0 
Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow x6 Add Add x0 Mul Add pi -3 Pow Pow sinh x7 x7 x0 -1 Mul Mul x6 log x6 Add 1 Mul Add pi -3 Mul Pow Pow sinh x7 x7 Add x0 -1 Mul Pow sinh x7 x7 log Pow sinh x7 x7 