Add Mul Pow Mul exp pi Mul -1 x0 Mul -4 log x0 exp Mul 4 Add Add acoth x0 sec Add x0 x1 x0 x0 
Add Add Mul exp Mul 4 Add Add acoth x0 sec Add x0 x1 x0 Mul Pow Mul exp pi Mul -1 x0 Add Mul -4 log x0 -1 Add Mul Mul -4 log x0 Mul exp pi -1 Mul Mul Mul exp pi Mul -1 x0 log Mul exp pi Mul -1 x0 Mul -4 Pow x0 -1 Mul Pow Mul exp pi Mul -1 x0 Mul -4 log x0 Mul exp Mul 4 Add Add acoth x0 sec Add x0 x1 x0 Mul 4 Add Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul tan Add x0 x1 sec Add x0 x1 1 1 