atanh Add x0 Add Pow Add Pow exp x0 x0 Pow acoth x0 tanh x0 x0 x0 
Mul Add 1 Add Mul Pow Add Pow exp x0 x0 Pow acoth x0 tanh x0 Add x0 -1 Add Mul x0 Add Mul Pow exp x0 Add x0 -1 Add Mul x0 exp x0 Mul exp x0 log exp x0 Mul Pow acoth x0 Add tanh x0 -1 Add Mul tanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Pow sech x0 2 Mul Add Pow exp x0 x0 Pow acoth x0 tanh x0 log Add Pow exp x0 x0 Pow acoth x0 tanh x0 1 Pow Add 1 Mul -1 Mul Add x0 Add Pow Add Pow exp x0 x0 Pow acoth x0 tanh x0 x0 x0 Add x0 Add Pow Add Pow exp x0 x0 Pow acoth x0 tanh x0 x0 x0 -1 