atanh Mul sec Add sech sec x0 x0 x3 
Mul Mul x3 Mul Mul tan Add sech sec x0 x0 sec Add sech sec x0 x0 Add Mul Mul tanh sec x0 Mul -1 sech sec x0 Mul tan x0 sec x0 1 Pow Add 1 Mul -1 Mul Mul sec Add sech sec x0 x0 x3 Mul sec Add sech sec x0 x0 x3 -1 