Add sqrt x5 Add Pow csc cosh x0 Add acoth exp E Add x0 x0 Mul x0 acos Mul acot x0 3 
Add Mul Pow csc cosh x0 Add Add acoth exp E Add x0 x0 -1 Add Mul Add acoth exp E Add x0 x0 Mul Mul Mul -1 cot cosh x0 csc cosh x0 sinh x0 Mul Mul csc cosh x0 log csc cosh x0 2 Add acos Mul acot x0 3 Mul x0 Mul -1 Mul Mul 3 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul acot x0 3 Mul acot x0 3 -1 