asinh Add Pow tanh Pow Add x0 2 E acosh Pow acosh x7 Add Add acosh x0 x0 x0 x0 
Mul Add Mul Pow tanh Pow Add x0 2 E Add acosh Pow acosh x7 Add Add acosh x0 x0 x0 -1 Add Mul acosh Pow acosh x7 Add Add acosh x0 x0 x0 Mul Pow sech Pow Add x0 2 E 2 Mul Pow Add x0 2 Add E -1 E Mul Mul tanh Pow Add x0 2 E log tanh Pow Add x0 2 E Mul Mul Pow acosh x7 Add Add Add acosh x0 x0 x0 -1 Mul Mul acosh x7 log acosh x7 Add Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 1 Pow Mul sqrt Add Pow acosh x7 Add Add acosh x0 x0 x0 -1 sqrt Add 1 Pow acosh x7 Add Add acosh x0 x0 x0 -1 1 Pow sqrt Add 1 Mul Add Pow tanh Pow Add x0 2 E acosh Pow acosh x7 Add Add acosh x0 x0 x0 x0 Add Pow tanh Pow Add x0 2 E acosh Pow acosh x7 Add Add acosh x0 x0 x0 x0 -1 