atanh Pow Mul 4 Mul Pow x0 Add x6 E x0 sqrt Add x6 Mul x0 x0 
Mul Mul Pow Mul 4 Mul Pow x0 Add x6 E x0 Add sqrt Add x6 Mul x0 x0 -1 Add Mul sqrt Add x6 Mul x0 x0 Mul 4 Add Mul x0 Mul Pow x0 Add Add x6 E -1 Add x6 E Pow x0 Add x6 E Mul Mul Mul 4 Mul Pow x0 Add x6 E x0 log Mul 4 Mul Pow x0 Add x6 E x0 Mul Pow Mul 2 sqrt Add x6 Mul x0 x0 -1 Add x0 x0 Pow Add 1 Mul -1 Mul Pow Mul 4 Mul Pow x0 Add x6 E x0 sqrt Add x6 Mul x0 x0 Pow Mul 4 Mul Pow x0 Add x6 E x0 sqrt Add x6 Mul x0 x0 -1 