Add sqrt Pow acot sec acoth Pow 32 x6 x0 x0 
Add Mul Pow Mul 2 sqrt Pow acot sec acoth Pow 32 x6 x0 -1 Mul Pow acot sec acoth Pow 32 x6 Add x0 -1 Mul acot sec acoth Pow 32 x6 log acot sec acoth Pow 32 x6 1 