Mul x2 Add Mul Pow cos acot x0 x1 acot Add sec Mul acsch x2 x0 x0 x1 
Mul x2 Add Mul acot Add sec Mul acsch x2 x0 x0 Mul Pow cos acot x0 Add x1 -1 Mul x1 Mul Mul -1 sin acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow cos acot x0 x1 Mul -1 Mul Add Mul Mul tan Mul acsch x2 x0 sec Mul acsch x2 x0 acsch x2 1 Pow Add 1 Mul Add sec Mul acsch x2 x0 x0 Add sec Mul acsch x2 x0 x0 -1 