Mul x0 acosh Mul x0 Mul Pow Add Add acosh Add 1 Pow pi -2 -2 -2 Add Mul 5 Add cosh x0 pi x7 x0 
Add acosh Mul x0 Mul Pow Add Add acosh Add 1 Pow pi -2 -2 -2 Add Mul 5 Add cosh x0 pi x7 x0 Mul x0 Mul Add Mul Pow Add Add acosh Add 1 Pow pi -2 -2 -2 Add Mul 5 Add cosh x0 pi x7 x0 Mul x0 Add Mul x0 Mul Pow Add Add acosh Add 1 Pow pi -2 -2 -2 Add Add Mul 5 Add cosh x0 pi x7 -1 Mul Mul Add Add acosh Add 1 Pow pi -2 -2 -2 log Add Add acosh Add 1 Pow pi -2 -2 -2 Mul 5 sinh x0 Pow Add Add acosh Add 1 Pow pi -2 -2 -2 Add Mul 5 Add cosh x0 pi x7 Pow Mul sqrt Add Mul x0 Mul Pow Add Add acosh Add 1 Pow pi -2 -2 -2 Add Mul 5 Add cosh x0 pi x7 x0 -1 sqrt Add 1 Mul x0 Mul Pow Add Add acosh Add 1 Pow pi -2 -2 -2 Add Mul 5 Add cosh x0 pi x7 x0 -1 