Pow Mul exp Add tan Mul -4 x0 pi x3 Add acoth Add x0 x6 x4 
Mul Pow Mul exp Add tan Mul -4 x0 pi x3 Add Add acoth Add x0 x6 x4 -1 Add Mul Add acoth Add x0 x6 x4 Mul x3 Mul exp Add tan Mul -4 x0 pi Mul Pow sec Mul -4 x0 2 -4 Mul Mul Mul exp Add tan Mul -4 x0 pi x3 log Mul exp Add tan Mul -4 x0 pi x3 Pow Add 1 Mul -1 Mul Add x0 x6 Add x0 x6 -1 