Mul x5 Add Pow Add x4 Add x0 exp x0 Pow Add log Add x5 x0 pi Mul -2 x0 Add x0 Mul acoth x0 5 
Mul x5 Add Mul Pow Add x4 Add x0 exp x0 Add Pow Add log Add x5 x0 pi Mul -2 x0 -1 Add Mul Pow Add log Add x5 x0 pi Mul -2 x0 Add 1 exp x0 Mul Mul Add x4 Add x0 exp x0 log Add x4 Add x0 exp x0 Mul Pow Add log Add x5 x0 pi Add Mul -2 x0 -1 Add Mul Mul -2 x0 Pow Add x5 x0 -1 Mul Mul Add log Add x5 x0 pi log Add log Add x5 x0 pi -2 Add 1 Mul 5 Pow Add 1 Mul -1 Mul x0 x0 -1 