atanh Mul x0 Mul acsc Add Add x0 x0 Pow sec tan Add x0 log x1 x0 pi 
Mul Add Mul acsc Add Add x0 x0 Pow sec tan Add x0 log x1 x0 pi Mul x0 Mul pi Mul -1 Mul Add 2 Mul Pow sec tan Add x0 log x1 Add x0 -1 Add Mul x0 Mul Mul tan tan Add x0 log x1 sec tan Add x0 log x1 Pow sec Add x0 log x1 2 Mul sec tan Add x0 log x1 log sec tan Add x0 log x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Add x0 x0 Pow sec tan Add x0 log x1 x0 Add Add x0 x0 Pow sec tan Add x0 log x1 x0 -1 Add Add x0 x0 Pow sec tan Add x0 log x1 x0 Add Add x0 x0 Pow sec tan Add x0 log x1 x0 -1 Pow Add 1 Mul -1 Mul Mul x0 Mul acsc Add Add x0 x0 Pow sec tan Add x0 log x1 x0 pi Mul x0 Mul acsc Add Add x0 x0 Pow sec tan Add x0 log x1 x0 pi -1 