Pow acoth x6 Add x0 exp Pow x0 Add 3 asech x3 
Mul Pow acoth x6 Add Add x0 exp Pow x0 Add 3 asech x3 -1 Mul Mul acoth x6 log acoth x6 Add 1 Mul exp Pow x0 Add 3 asech x3 Mul Pow x0 Add Add 3 asech x3 -1 Add 3 asech x3 