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