Pow tan x0 sec Add Mul atan acosh x1 Mul x1 Mul -3 atanh Mul x0 x0 1 
Mul Pow tan x0 Add sec Add Mul atan acosh x1 Mul x1 Mul -3 atanh Mul x0 x0 1 -1 Add Mul sec Add Mul atan acosh x1 Mul x1 Mul -3 atanh Mul x0 x0 1 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Mul tan Add Mul atan acosh x1 Mul x1 Mul -3 atanh Mul x0 x0 1 sec Add Mul atan acosh x1 Mul x1 Mul -3 atanh Mul x0 x0 1 Mul atan acosh x1 Mul x1 Mul -3 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 