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