Mul x4 Mul 2 Pow Add x2 Mul x0 Add x0 acoth Mul sqrt log x5 5 x0 
Mul x4 Mul 2 Mul Pow Add x2 Mul x0 Add x0 acoth Mul sqrt log x5 5 Add x0 -1 Add Mul x0 Add Add x0 acoth Mul sqrt log x5 5 x0 Mul Add x2 Mul x0 Add x0 acoth Mul sqrt log x5 5 log Add x2 Mul x0 Add x0 acoth Mul sqrt log x5 5 