Mul Mul Mul -2 x0 acosh Add acoth x6 Add x0 Add 4 x0 sin x5 
Mul sin x5 Add Mul acosh Add acoth x6 Add x0 Add 4 x0 -2 Mul Mul -2 x0 Mul 2 Pow Mul sqrt Add Add acoth x6 Add x0 Add 4 x0 -1 sqrt Add 1 Add acoth x6 Add x0 Add 4 x0 -1 