Pow Add x0 Pow acosh x0 Pow acoth x1 Pow x0 x3 -3 
Mul Pow Add x0 Pow acosh x0 Pow acoth x1 Pow x0 x3 4 Mul -3 Add 1 Mul Pow acosh x0 Add Pow acoth x1 Pow x0 x3 -1 Add Mul Pow acoth x1 Pow x0 x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Pow acoth x1 Add Pow x0 x3 -1 Mul Mul acoth x1 log acoth x1 Mul Pow x0 Add x3 -1 x3 