Pow Pow acosh acoth x1 x0 Add x0 3 
Mul Pow Pow acosh acoth x1 x0 Add Add x0 3 -1 Add Mul Add x0 3 Mul Pow acosh acoth x1 Add x0 -1 Mul acosh acoth x1 log acosh acoth x1 Mul Pow acosh acoth x1 x0 log Pow acosh acoth x1 x0 