Mul Mul x0 Pow 0.457657554360286 asech acot exp acosh x0 x0 
Add Mul x0 Add Pow 0.457657554360286 asech acot exp acosh x0 Mul x0 Mul Pow 0.457657554360286 Add asech acot exp acosh x0 -1 Mul -0.323976518076462 Mul Mul -1 Mul Mul exp acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul exp acosh x0 exp acosh x0 -1 Pow Mul Mul acot exp acosh x0 acot exp acosh x0 sqrt Add 1 Mul -1 Pow Mul acot exp acosh x0 acot exp acosh x0 -1 -1 Mul x0 Pow 0.457657554360286 asech acot exp acosh x0 