exp Pow Add 2 x0 Pow Add x0 Mul -1 Mul acsc acosh x4 x0 pi 
Mul exp Pow Add 2 x0 Pow Add x0 Mul -1 Mul acsc acosh x4 x0 pi Mul Pow Add 2 x0 Add Pow Add x0 Mul -1 Mul acsc acosh x4 x0 pi -1 Add Pow Add x0 Mul -1 Mul acsc acosh x4 x0 pi Mul Mul Add 2 x0 log Add 2 x0 Mul Pow Add x0 Mul -1 Mul acsc acosh x4 x0 Add pi -1 Mul pi Add 1 Mul -1 acsc acosh x4 