Pow Mul atanh Mul Mul Pow x0 Mul acosh pi -2 -3 x1 Pow Add x0 x0 Mul x0 5 cosh tan Add acoth x5 x0 
Mul Pow Mul atanh Mul Mul Pow x0 Mul acosh pi -2 -3 x1 Pow Add x0 x0 Mul x0 5 Add cosh tan Add acoth x5 x0 -1 Add Mul cosh tan Add acoth x5 x0 Add Mul Pow Add x0 x0 Mul x0 5 Mul Mul x1 Mul -3 Mul Pow x0 Add Mul acosh pi -2 -1 Mul acosh pi -2 Pow Add 1 Mul -1 Mul Mul Mul Pow x0 Mul acosh pi -2 -3 x1 Mul Mul Pow x0 Mul acosh pi -2 -3 x1 -1 Mul atanh Mul Mul Pow x0 Mul acosh pi -2 -3 x1 Mul Pow Add x0 x0 Add Mul x0 5 -1 Add Mul Mul x0 5 2 Mul Mul Add x0 x0 log Add x0 x0 5 Mul Mul Mul atanh Mul Mul Pow x0 Mul acosh pi -2 -3 x1 Pow Add x0 x0 Mul x0 5 log Mul atanh Mul Mul Pow x0 Mul acosh pi -2 -3 x1 Pow Add x0 x0 Mul x0 5 Mul sinh tan Add acoth x5 x0 Pow sec Add acoth x5 x0 2 