tan Mul Add x0 pi Pow Add Add x0 -1 acos Add acsch asech x0 x0 x1 
Mul Pow sec Mul Add x0 pi Pow Add Add x0 -1 acos Add acsch asech x0 x0 x1 2 Add Pow Add Add x0 -1 acos Add acsch asech x0 x0 x1 Mul Add x0 pi Mul Pow Add Add x0 -1 acos Add acsch asech x0 x0 Add x1 -1 Mul x1 Add 1 Mul -1 Mul Add Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul asech x0 asech x0 sqrt Add 1 Mul -1 Pow Mul asech x0 asech x0 -1 -1 1 Pow sqrt Add 1 Mul -1 Mul Add acsch asech x0 x0 Add acsch asech x0 x0 -1 