Mul x6 Add Add sin Pow E x6 Add Add -2 x1 acoth Add acosh exp acosh tan acoth x0 pi -1 
Mul x6 Mul Mul Mul exp acosh tan acoth x0 Mul Mul Pow sec acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add tan acoth x0 -1 sqrt Add 1 tan acoth x0 -1 Pow Mul sqrt Add exp acosh tan acoth x0 -1 sqrt Add 1 exp acosh tan acoth x0 -1 Pow Add 1 Mul -1 Mul Add acosh exp acosh tan acoth x0 pi Add acosh exp acosh tan acoth x0 pi -1 