Mul Pow sqrt Add x6 5 Pow Pow Pow x0 x0 x3 acosh Add cosh x0 Mul x0 x3 Add 4 sin sqrt acoth x0 
Add Mul Add 4 sin sqrt acoth x0 Mul Pow sqrt Add x6 5 Add Pow Pow Pow x0 x0 x3 acosh Add cosh x0 Mul x0 x3 -1 Mul Mul sqrt Add x6 5 log sqrt Add x6 5 Mul Pow Pow Pow x0 x0 x3 Add acosh Add cosh x0 Mul x0 x3 -1 Add Mul acosh Add cosh x0 Mul x0 x3 Mul Pow Pow x0 x0 Add x3 -1 Mul x3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow Pow x0 x0 x3 log Pow Pow x0 x0 x3 Mul Add sinh x0 x3 Pow Mul sqrt Add Add cosh x0 Mul x0 x3 -1 sqrt Add 1 Add cosh x0 Mul x0 x3 -1 Mul Pow sqrt Add x6 5 Pow Pow Pow x0 x0 x3 acosh Add cosh x0 Mul x0 x3 Mul cos sqrt acoth x0 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 