Add Pow x0 Add pi Pow Mul acosh Pow atanh x4 x0 x0 x0 x0 
Add Mul Pow x0 Add Add pi Pow Mul acosh Pow atanh x4 x0 x0 x0 -1 Add Add pi Pow Mul acosh Pow atanh x4 x0 x0 x0 Mul Mul x0 log x0 Mul Pow Mul acosh Pow atanh x4 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Mul Pow atanh x4 Add x0 -1 Mul atanh x4 log atanh x4 Pow Mul sqrt Add Pow atanh x4 x0 -1 sqrt Add 1 Pow atanh x4 x0 -1 acosh Pow atanh x4 x0 Mul Mul acosh Pow atanh x4 x0 x0 log Mul acosh Pow atanh x4 x0 x0 1 