Mul Mul acoth Pow exp x3 x0 x0 Pow Add Mul x0 acoth cos x2 pi x0 
Add Mul Pow Add Mul x0 acoth cos x2 pi x0 Add Mul x0 Mul Mul Pow exp x3 Add x0 -1 Mul exp x3 log exp x3 Pow Add 1 Mul -1 Mul Pow exp x3 x0 Pow exp x3 x0 -1 acoth Pow exp x3 x0 Mul Mul acoth Pow exp x3 x0 x0 Mul Pow Add Mul x0 acoth cos x2 pi Add x0 -1 Add Mul x0 acoth cos x2 Mul Add Mul x0 acoth cos x2 pi log Add Mul x0 acoth cos x2 pi 