Mul exp x3 Pow Pow Mul x0 Add 5 Add Mul 4 Add x0 Mul x0 pi pi -2 acoth x0 
Mul exp x3 Mul Pow Pow Mul x0 Add 5 Add Mul 4 Add x0 Mul x0 pi pi -2 Add acoth x0 -1 Add Mul acoth x0 Mul Pow Mul x0 Add 5 Add Mul 4 Add x0 Mul x0 pi pi 3 Mul -2 Add Add 5 Add Mul 4 Add x0 Mul x0 pi pi Mul x0 Mul 4 Add 1 pi Mul Mul Pow Mul x0 Add 5 Add Mul 4 Add x0 Mul x0 pi pi -2 log Pow Mul x0 Add 5 Add Mul 4 Add x0 Mul x0 pi pi -2 Pow Add 1 Mul -1 Mul x0 x0 -1 