Add x6 Add Pow acoth E Pow acosh asinh x4 Mul Add x0 x0 -3 x0 
Add Mul Pow acoth E Add Pow acosh asinh x4 Mul Add x0 x0 -3 -1 Mul Mul acoth E log acoth E Mul Pow acosh asinh x4 Add Mul Add x0 x0 -3 -1 Mul acosh asinh x4 log acosh asinh x4 1 