acosh Add Pow Mul acos Mul x0 asec cos x0 x0 x0 atanh x1 
Mul Mul Pow Mul acos Mul x0 asec cos x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul -1 Mul Add asec cos x0 Mul x0 Mul Mul -1 sin x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cos x0 cos x0 -1 cos x0 cos x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 asec cos x0 Mul x0 asec cos x0 -1 acos Mul x0 asec cos x0 Mul Mul acos Mul x0 asec cos x0 x0 log Mul acos Mul x0 asec cos x0 x0 Pow Mul sqrt Add Add Pow Mul acos Mul x0 asec cos x0 x0 x0 atanh x1 -1 sqrt Add 1 Add Pow Mul acos Mul x0 asec cos x0 x0 x0 atanh x1 -1 