Mul x0 Add x0 acosh Add Mul -1 Add x6 sin Mul Add acoth x6 x0 -3 Pow x4 x0 
Add Add x0 acosh Add Mul -1 Add x6 sin Mul Add acoth x6 x0 -3 Pow x4 x0 Mul x0 Add 1 Mul Add Mul -1 Mul cos Mul Add acoth x6 x0 -3 -3 Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Mul sqrt Add Add Mul -1 Add x6 sin Mul Add acoth x6 x0 -3 Pow x4 x0 -1 sqrt Add 1 Add Mul -1 Add x6 sin Mul Add acoth x6 x0 -3 Pow x4 x0 -1 