atanh Add acot pi exp Mul x0 tan Add x0 x4 
Mul Mul exp Mul x0 tan Add x0 x4 Add tan Add x0 x4 Mul x0 Pow sec Add x0 x4 2 Pow Add 1 Mul -1 Mul Add acot pi exp Mul x0 tan Add x0 x4 Add acot pi exp Mul x0 tan Add x0 x4 -1 