sec exp asin Add acot x0 Pow Add exp pi x0 x0 
Mul Mul tan exp asin Add acot x0 Pow Add exp pi x0 x0 sec exp asin Add acot x0 Pow Add exp pi x0 x0 Mul exp asin Add acot x0 Pow Add exp pi x0 x0 Mul Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Add exp pi x0 Add x0 -1 Add x0 Mul Add exp pi x0 log Add exp pi x0 Pow sqrt Add 1 Mul -1 Mul Add acot x0 Pow Add exp pi x0 x0 Add acot x0 Pow Add exp pi x0 x0 -1 