exp atanh Add x3 sec Add Mul pi x1 x0 
Mul exp atanh Add x3 sec Add Mul pi x1 x0 Mul Mul tan Add Mul pi x1 x0 sec Add Mul pi x1 x0 Pow Add 1 Mul -1 Mul Add x3 sec Add Mul pi x1 x0 Add x3 sec Add Mul pi x1 x0 -1 