Mul Pow Mul asech acot Add x5 x0 Add x0 x0 x0 Mul Add -1 sin Mul Add x0 x0 Pow x0 acsch x3 -4 
Add Mul Mul Add -1 sin Mul Add x0 x0 Pow x0 acsch x3 -4 Mul Pow Mul asech acot Add x5 x0 Add x0 x0 Add x0 -1 Add Mul x0 Add Mul Add x0 x0 Mul Mul -1 Pow Add 1 Mul Add x5 x0 Add x5 x0 -1 Pow Mul Mul acot Add x5 x0 acot Add x5 x0 sqrt Add 1 Mul -1 Pow Mul acot Add x5 x0 acot Add x5 x0 -1 -1 Mul asech acot Add x5 x0 2 Mul Mul asech acot Add x5 x0 Add x0 x0 log Mul asech acot Add x5 x0 Add x0 x0 Mul Pow Mul asech acot Add x5 x0 Add x0 x0 x0 Mul -4 Mul cos Mul Add x0 x0 Pow x0 acsch x3 Add Mul Pow x0 acsch x3 2 Mul Add x0 x0 Mul Pow x0 Add acsch x3 -1 acsch x3 