atanh Mul log x0 Add Mul x4 acos Mul pi Mul x0 x0 4 
Mul Add Mul Add Mul x4 acos Mul pi Mul x0 x0 4 Pow x0 -1 Mul log x0 Mul x4 Mul -1 Mul Mul pi Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul pi Mul x0 x0 Mul pi Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul log x0 Add Mul x4 acos Mul pi Mul x0 x0 4 Mul log x0 Add Mul x4 acos Mul pi Mul x0 x0 4 -1 