Mul atanh x0 sqrt Pow Pow tan cos x0 sqrt cosh Mul x0 5 x6 
Add Mul sqrt Pow Pow tan cos x0 sqrt cosh Mul x0 5 x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Pow Mul 2 sqrt Pow Pow tan cos x0 sqrt cosh Mul x0 5 x6 -1 Mul Pow Pow tan cos x0 sqrt cosh Mul x0 5 Add x6 -1 Mul x6 Mul Pow tan cos x0 Add sqrt cosh Mul x0 5 -1 Add Mul sqrt cosh Mul x0 5 Mul Pow sec cos x0 2 Mul -1 sin x0 Mul Mul tan cos x0 log tan cos x0 Mul Pow Mul 2 sqrt cosh Mul x0 5 -1 Mul sinh Mul x0 5 5 