asec acosh Add Mul pi sinh x0 Mul x1 -3 
Mul Mul Mul pi cosh x0 Pow Mul sqrt Add Add Mul pi sinh x0 Mul x1 -3 -1 sqrt Add 1 Add Mul pi sinh x0 Mul x1 -3 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Add Mul pi sinh x0 Mul x1 -3 acosh Add Mul pi sinh x0 Mul x1 -3 -1 acosh Add Mul pi sinh x0 Mul x1 -3 acosh Add Mul pi sinh x0 Mul x1 -3 -1 