exp Mul Pow acosh pi Pow Add x0 acsc x0 pi x3 
Mul exp Mul Pow acosh pi Pow Add x0 acsc x0 pi x3 Mul x3 Mul Pow acosh pi Add Pow Add x0 acsc x0 pi -1 Mul Mul acosh pi log acosh pi Mul Pow Add x0 acsc x0 Add pi -1 Mul pi Add 1 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 