Mul x7 Mul asech x5 acoth Pow Add Mul acosh x7 x0 pi x0 
Mul x7 Mul asech x5 Mul Mul Pow Add Mul acosh x7 x0 pi Add x0 -1 Add Mul x0 acosh x7 Mul Add Mul acosh x7 x0 pi log Add Mul acosh x7 x0 pi Pow Add 1 Mul -1 Mul Pow Add Mul acosh x7 x0 pi x0 Pow Add Mul acosh x7 x0 pi x0 -1 