cot Add tan Add Add Add Mul -1 Mul x0 x0 acsch x1 x3 x0 -1 
Mul Mul -1 Pow csc Add tan Add Add Add Mul -1 Mul x0 x0 acsch x1 x3 x0 -1 2 Mul Pow sec Add Add Add Mul -1 Mul x0 x0 acsch x1 x3 x0 2 Add Mul -1 Add x0 x0 1 