atanh Pow x0 Pow Add Mul x0 acos sinh x0 Mul x0 x0 Add tan x0 Mul -4 asec E 
Mul Mul Pow x0 Add Pow Add Mul x0 acos sinh x0 Mul x0 x0 Add tan x0 Mul -4 asec E -1 Add Pow Add Mul x0 acos sinh x0 Mul x0 x0 Add tan x0 Mul -4 asec E Mul Mul x0 log x0 Mul Pow Add Mul x0 acos sinh x0 Mul x0 x0 Add Add tan x0 Mul -4 asec E -1 Add Mul Add tan x0 Mul -4 asec E Add Add acos sinh x0 Mul x0 Mul -1 Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul sinh x0 sinh x0 -1 Add x0 x0 Mul Mul Add Mul x0 acos sinh x0 Mul x0 x0 log Add Mul x0 acos sinh x0 Mul x0 x0 Pow sec x0 2 Pow Add 1 Mul -1 Mul Pow x0 Pow Add Mul x0 acos sinh x0 Mul x0 x0 Add tan x0 Mul -4 asec E Pow x0 Pow Add Mul x0 acos sinh x0 Mul x0 x0 Add tan x0 Mul -4 asec E -1 