Mul Add x6 x0 atan Add Mul Mul acot x6 Mul acoth Mul Add x4 1 x0 x0 5 E 
Add atan Add Mul Mul acot x6 Mul acoth Mul Add x4 1 x0 x0 5 E Mul Add x6 x0 Mul Mul 5 Mul acot x6 Add Mul x0 Mul Add x4 1 Pow Add 1 Mul -1 Mul Mul Add x4 1 x0 Mul Add x4 1 x0 -1 acoth Mul Add x4 1 x0 Pow Add 1 Mul Add Mul Mul acot x6 Mul acoth Mul Add x4 1 x0 x0 5 E Add Mul Mul acot x6 Mul acoth Mul Add x4 1 x0 x0 5 E -1 