Add x4 Add Pow atanh Mul Pow x0 x0 Mul atanh acosh acoth Pow x0 x2 x0 Mul x0 Add E x0 x0 
Add Mul Pow atanh Mul Pow x0 x0 Mul atanh acosh acoth Pow x0 x2 x0 Add Mul x0 Add E x0 -1 Add Mul Mul x0 Add E x0 Mul Add Mul Mul atanh acosh acoth Pow x0 x2 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Add Mul x0 Mul Mul Mul Mul Pow x0 Add x2 -1 x2 Pow Add 1 Mul -1 Mul Pow x0 x2 Pow x0 x2 -1 Pow Mul sqrt Add acoth Pow x0 x2 -1 sqrt Add 1 acoth Pow x0 x2 -1 Pow Add 1 Mul -1 Mul acosh acoth Pow x0 x2 acosh acoth Pow x0 x2 -1 atanh acosh acoth Pow x0 x2 Pow Add 1 Mul -1 Mul Mul Pow x0 x0 Mul atanh acosh acoth Pow x0 x2 x0 Mul Pow x0 x0 Mul atanh acosh acoth Pow x0 x2 x0 -1 Mul Mul atanh Mul Pow x0 x0 Mul atanh acosh acoth Pow x0 x2 x0 log atanh Mul Pow x0 x0 Mul atanh acosh acoth Pow x0 x2 x0 Add Add E x0 x0 1 