atanh Pow sec tan x0 Mul x7 x3 
Mul Mul Pow sec tan x0 Add Mul x7 x3 -1 Mul Mul x7 x3 Mul Mul tan tan x0 sec tan x0 Pow sec x0 2 Pow Add 1 Mul -1 Mul Pow sec tan x0 Mul x7 x3 Pow sec tan x0 Mul x7 x3 -1 