atanh Pow Add x4 E Pow x0 Pow x7 Add pi x3 
Mul Mul Pow Add x4 E Add Pow x0 Pow x7 Add pi x3 -1 Mul Mul Add x4 E log Add x4 E Mul Pow x0 Add Pow x7 Add pi x3 -1 Pow x7 Add pi x3 Pow Add 1 Mul -1 Mul Pow Add x4 E Pow x0 Pow x7 Add pi x3 Pow Add x4 E Pow x0 Pow x7 Add pi x3 -1 