acsch sec Mul tan Add cot x1 x1 x0 
Mul Mul -1 Mul Mul tan Mul tan Add cot x1 x1 x0 sec Mul tan Add cot x1 x1 x0 tan Add cot x1 x1 Pow Mul Mul sec Mul tan Add cot x1 x1 x0 sec Mul tan Add cot x1 x1 x0 sqrt Add 1 Mul -1 Pow Mul sec Mul tan Add cot x1 x1 x0 sec Mul tan Add cot x1 x1 x0 -1 -1 