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