Mul Mul Pow x0 x0 x0 asin atan Pow Add Add x0 x0 x4 acoth E 
Add Mul asin atan Pow Add Add x0 x0 x4 acoth E Add Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow x0 x0 Mul Mul Pow x0 x0 x0 Mul Mul Mul Pow Add Add x0 x0 x4 Add acoth E -1 Mul acoth E 2 Pow Add 1 Mul Pow Add Add x0 x0 x4 acoth E Pow Add Add x0 x0 x4 acoth E -1 Pow sqrt Add 1 Mul -1 Mul atan Pow Add Add x0 x0 x4 acoth E atan Pow Add Add x0 x0 x4 acoth E -1 