atanh Pow Mul 5 Pow Add pi -3 Add x0 x3 atanh E 
Mul Mul Pow Mul 5 Pow Add pi -3 Add x0 x3 Add atanh E -1 Mul atanh E Mul 5 Mul Pow Add pi -3 Add Add x0 x3 -1 Mul Add pi -3 log Add pi -3 Pow Add 1 Mul -1 Mul Pow Mul 5 Pow Add pi -3 Add x0 x3 atanh E Pow Mul 5 Pow Add pi -3 Add x0 x3 atanh E -1 