Mul Add x5 Add x0 Pow acoth atan Add x5 x0 acot x5 -4 
Mul -4 Add 1 Mul Pow acoth atan Add x5 x0 Add acot x5 -1 Mul acot x5 Mul Pow Add 1 Mul Add x5 x0 Add x5 x0 -1 Pow Add 1 Mul -1 Mul atan Add x5 x0 atan Add x5 x0 -1 