atanh Mul Mul x0 x0 Mul Pow exp Mul pi x0 Add Add x7 x0 4 pi 
Mul Add Mul Mul Pow exp Mul pi x0 Add Add x7 x0 4 pi Add x0 x0 Mul Mul x0 x0 Mul pi Mul Pow exp Mul pi x0 Add Add Add x7 x0 4 -1 Add Mul Add Add x7 x0 4 Mul exp Mul pi x0 pi Mul exp Mul pi x0 log exp Mul pi x0 Pow Add 1 Mul -1 Mul Mul Mul x0 x0 Mul Pow exp Mul pi x0 Add Add x7 x0 4 pi Mul Mul x0 x0 Mul Pow exp Mul pi x0 Add Add x7 x0 4 pi -1 