Mul x0 Pow acsch Add Mul acosh Add exp x6 pi asec x0 x1 4.30680741847968 
Add Pow acsch Add Mul acosh Add exp x6 pi asec x0 x1 4.30680741847968 Mul x0 Mul Pow acsch Add Mul acosh Add exp x6 pi asec x0 x1 3.30680741847968 Mul 4.30680741847968 Mul Mul -1 Mul acosh Add exp x6 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul Mul Add Mul acosh Add exp x6 pi asec x0 x1 Add Mul acosh Add exp x6 pi asec x0 x1 sqrt Add 1 Mul -1 Pow Mul Add Mul acosh Add exp x6 pi asec x0 x1 Add Mul acosh Add exp x6 pi asec x0 x1 -1 -1 