Add Pow Add 5 Add x3 x0 acoth Mul x5 x0 2.83724982855150 
Mul Pow Add 5 Add x3 x0 Add acoth Mul x5 x0 -1 Add acoth Mul x5 x0 Mul Mul Add 5 Add x3 x0 log Add 5 Add x3 x0 Mul x5 Pow Add 1 Mul -1 Mul Mul x5 x0 Mul x5 x0 -1 