Pow acoth Add x2 1.54308063481524 Add Mul Pow acoth Mul Mul x0 -4 4 x0 x1 x0 
Mul Pow acoth Add x2 1.54308063481524 Add Add Mul Pow acoth Mul Mul x0 -4 4 x0 x1 x0 -1 Mul Mul acoth Add x2 1.54308063481524 log acoth Add x2 1.54308063481524 Add Mul x1 Mul Pow acoth Mul Mul x0 -4 4 Add x0 -1 Mul acoth Mul Mul x0 -4 4 log acoth Mul Mul x0 -4 4 1 