Mul sin x5 Mul x0 Pow Pow sec x7 atanh x0 Add sqrt Mul -3 x3 x7 
Mul sin x5 Add Pow Pow sec x7 atanh x0 Add sqrt Mul -3 x3 x7 Mul x0 Mul Pow Pow sec x7 atanh x0 Add Add sqrt Mul -3 x3 x7 -1 Mul Add sqrt Mul -3 x3 x7 Mul Pow sec x7 Add atanh x0 -1 Mul Mul sec x7 log sec x7 Pow Add 1 Mul -1 Mul x0 x0 -1 