acot sin Mul Mul Mul E acsch Add -2 x0 Add 3 Mul x0 Add x2 -2 3 
Mul -1 Mul Mul cos Mul Mul Mul E acsch Add -2 x0 Add 3 Mul x0 Add x2 -2 3 Mul 3 Add Mul Add 3 Mul x0 Add x2 -2 Mul E Mul -1 Pow Mul Mul Add -2 x0 Add -2 x0 sqrt Add 1 Mul -1 Pow Mul Add -2 x0 Add -2 x0 -1 -1 Mul Mul E acsch Add -2 x0 Add x2 -2 Pow Add 1 Mul sin Mul Mul Mul E acsch Add -2 x0 Add 3 Mul x0 Add x2 -2 3 sin Mul Mul Mul E acsch Add -2 x0 Add 3 Mul x0 Add x2 -2 3 -1 