Mul Mul 2 Mul atanh Add sec x0 Mul x0 log Mul x0 x6 Mul x3 Add x4 -3 -4 
Mul -4 Mul 2 Mul Mul x3 Add x4 -3 Mul Add Mul tan x0 sec x0 Add log Mul x0 x6 Mul x0 Mul x6 Pow Mul x0 x6 -1 Pow Add 1 Mul -1 Mul Add sec x0 Mul x0 log Mul x0 x6 Add sec x0 Mul x0 log Mul x0 x6 -1 