Mul x0 cos acot acoth Add Add x0 x0 Add x0 x0 
Add cos acot acoth Add Add x0 x0 Add x0 x0 Mul x0 Mul Mul -1 sin acot acoth Add Add x0 x0 Add x0 x0 Mul -1 Mul Mul 4 Pow Add 1 Mul -1 Mul Add Add x0 x0 Add x0 x0 Add Add x0 x0 Add x0 x0 -1 Pow Add 1 Mul acoth Add Add x0 x0 Add x0 x0 acoth Add Add x0 x0 Add x0 x0 -1 