Mul sec atan x0 Add Add x0 x0 acsch Add Add x0 pi x2 
Add Mul Add Add x0 x0 acsch Add Add x0 pi x2 Mul Mul tan atan x0 sec atan x0 Pow Add 1 Mul x0 x0 -1 Mul sec atan x0 Add 2 Mul -1 Pow Mul Mul Add Add x0 pi x2 Add Add x0 pi x2 sqrt Add 1 Mul -1 Pow Mul Add Add x0 pi x2 Add Add x0 pi x2 -1 -1 