atanh Mul 0.693147180559945 cos exp tan x0 
Mul Mul 0.693147180559945 Mul Mul -1 sin exp tan x0 Mul exp tan x0 Pow sec x0 2 Pow Add 1 Mul -1 Mul Mul 0.693147180559945 cos exp tan x0 Mul 0.693147180559945 cos exp tan x0 -1 