Mul Pow E x0 Add Pow x0 asin Mul Mul Mul x6 x5 Mul 4 acoth pi 4 x4 
Add Mul Add Pow x0 asin Mul Mul Mul x6 x5 Mul 4 acoth pi 4 x4 Mul Pow E Add x0 -1 Mul E log E Mul Pow E x0 Mul Pow x0 Add asin Mul Mul Mul x6 x5 Mul 4 acoth pi 4 -1 asin Mul Mul Mul x6 x5 Mul 4 acoth pi 4 