atanh Add Mul x1 x4 tan Add Add x0 x0 Mul Add x0 Add -2 pi Pow E x1 
Mul Mul Pow sec Add Add x0 x0 Mul Add x0 Add -2 pi Pow E x1 2 Add 2 Pow E x1 Pow Add 1 Mul -1 Mul Add Mul x1 x4 tan Add Add x0 x0 Mul Add x0 Add -2 pi Pow E x1 Add Mul x1 x4 tan Add Add x0 x0 Mul Add x0 Add -2 pi Pow E x1 -1 