Mul Pow Add Pow exp atanh Add x0 3 cot Add x4 Mul tan acot x1 x0 x0 -5 5 
Mul 5 Mul Pow Add Pow exp atanh Add x0 3 cot Add x4 Mul tan acot x1 x0 x0 6 Mul -5 Add Mul Pow exp atanh Add x0 3 Add cot Add x4 Mul tan acot x1 x0 -1 Add Mul cot Add x4 Mul tan acot x1 x0 Mul exp atanh Add x0 3 Pow Add 1 Mul -1 Mul Add x0 3 Add x0 3 -1 Mul Mul exp atanh Add x0 3 log exp atanh Add x0 3 Mul Mul -1 Pow csc Add x4 Mul tan acot x1 x0 2 tan acot x1 1 