acosh atanh Add Add x2 sech atan acosh x0 Add x0 x0 
Mul Mul Add Mul Mul tanh atan acosh x0 Mul -1 sech atan acosh x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul acosh x0 acosh x0 -1 2 Pow Add 1 Mul -1 Mul Add Add x2 sech atan acosh x0 Add x0 x0 Add Add x2 sech atan acosh x0 Add x0 x0 -1 Pow Mul sqrt Add atanh Add Add x2 sech atan acosh x0 Add x0 x0 -1 sqrt Add 1 atanh Add Add x2 sech atan acosh x0 Add x0 x0 -1 