asech Add Pow sin tan log pi x0 x1 
Mul Mul Pow sin tan log pi Add x0 -1 Mul sin tan log pi log sin tan log pi Pow Mul Mul Add Pow sin tan log pi x0 x1 Add Pow sin tan log pi x0 x1 sqrt Add 1 Mul -1 Pow Mul Add Pow sin tan log pi x0 x1 Add Pow sin tan log pi x0 x1 -1 -1 