atanh Add tan Pow x3 Add x0 Add Pow Mul pi -4 x0 x0 Add -2 x7 
Mul Mul Pow sec Pow x3 Add x0 Add Pow Mul pi -4 x0 x0 2 Mul Pow x3 Add Add x0 Add Pow Mul pi -4 x0 x0 -1 Mul Mul x3 log x3 Add 1 Add Mul Pow Mul pi -4 Add x0 -1 Mul Mul pi -4 log Mul pi -4 1 Pow Add 1 Mul -1 Mul Add tan Pow x3 Add x0 Add Pow Mul pi -4 x0 x0 Add -2 x7 Add tan Pow x3 Add x0 Add Pow Mul pi -4 x0 x0 Add -2 x7 -1 