Add x0 Mul Pow acot Mul x0 x0 Pow exp Add -4 pi Add x0 Add 4 Mul -1 x3 sinh x6 
Add 1 Mul sinh x6 Mul Pow acot Mul x0 x0 Add Pow exp Add -4 pi Add x0 Add 4 Mul -1 x3 -1 Add Mul Pow exp Add -4 pi Add x0 Add 4 Mul -1 x3 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Mul acot Mul x0 x0 log acot Mul x0 x0 Mul Pow exp Add -4 pi Add Add x0 Add 4 Mul -1 x3 -1 Mul exp Add -4 pi log exp Add -4 pi 