Pow atan x0 asec asech Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 
Mul Pow atan x0 Add asec asech Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 -1 Add Mul asec asech Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Mul Add Mul Mul x3 x0 Mul Pow Add acosh x3 x0 Add cos x0 -1 Add cos x0 Mul Mul Add acosh x3 x0 log Add acosh x3 x0 Mul -1 sin x0 Mul Pow Add acosh x3 x0 cos x0 x3 Pow Mul Mul Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asech Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 asech Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 -1 asech Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 asech Mul Pow Add acosh x3 x0 cos x0 Mul x3 x0 -1 