Pow acosh x0 exp Pow tanh pi x0 
Mul Pow acosh x0 Add exp Pow tanh pi x0 -1 Add Mul exp Pow tanh pi x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul exp Pow tanh pi x0 Mul Pow tanh pi Add x0 -1 Mul tanh pi log tanh pi 