Mul asech Add Mul cos exp sqrt x2 Mul acoth Mul x7 x0 Add acoth x0 pi x0 Mul x0 E 
Add Mul Mul x0 E Mul Add Mul cos exp sqrt x2 Add Mul Add acoth x0 pi Mul x7 Pow Add 1 Mul -1 Mul Mul x7 x0 Mul x7 x0 -1 Mul acoth Mul x7 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow Mul Mul Add Mul cos exp sqrt x2 Mul acoth Mul x7 x0 Add acoth x0 pi x0 Add Mul cos exp sqrt x2 Mul acoth Mul x7 x0 Add acoth x0 pi x0 sqrt Add 1 Mul -1 Pow Mul Add Mul cos exp sqrt x2 Mul acoth Mul x7 x0 Add acoth x0 pi x0 Add Mul cos exp sqrt x2 Mul acoth Mul x7 x0 Add acoth x0 pi x0 -1 -1 Mul asech Add Mul cos exp sqrt x2 Mul acoth Mul x7 x0 Add acoth x0 pi x0 E 