Add Mul Add acoth x0 tan Add sin cos Pow acot x0 -1 x4 Add x0 -2 Add x0 x0 
Add Add Mul Add x0 -2 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow sec Add sin cos Pow acot x0 -1 x4 2 Mul cos cos Pow acot x0 -1 Mul Mul -1 sin Pow acot x0 -1 Mul Pow acot x0 2 Mul -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Add acoth x0 tan Add sin cos Pow acot x0 -1 x4 2 