Pow Mul Mul x0 2 tan Add sin Mul acoth x0 x5 acosh pi x0 
Mul Pow Mul Mul x0 2 tan Add sin Mul acoth x0 x5 acosh pi Add x0 -1 Add Mul x0 Add Mul tan Add sin Mul acoth x0 x5 acosh pi 2 Mul Mul x0 2 Mul Pow sec Add sin Mul acoth x0 x5 acosh pi 2 Mul cos Mul acoth x0 x5 Mul x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul x0 2 tan Add sin Mul acoth x0 x5 acosh pi log Mul Mul x0 2 tan Add sin Mul acoth x0 x5 acosh pi 