atanh Mul x5 Add Mul Add x3 Pow Add Add pi x0 x4 Mul x0 x6 x0 -4 
Mul Mul x5 Add Mul x0 Mul Pow Add Add pi x0 x4 Add Mul x0 x6 -1 Add Mul x0 x6 Mul Mul Add Add pi x0 x4 log Add Add pi x0 x4 x6 Add x3 Pow Add Add pi x0 x4 Mul x0 x6 Pow Add 1 Mul -1 Mul Mul x5 Add Mul Add x3 Pow Add Add pi x0 x4 Mul x0 x6 x0 -4 Mul x5 Add Mul Add x3 Pow Add Add pi x0 x4 Mul x0 x6 x0 -4 -1 