Pow atanh Add 5 Pow x0 x0 acoth Add tan x0 exp x7 
Mul Pow atanh Add 5 Pow x0 x0 Add acoth Add tan x0 exp x7 -1 Add Mul acoth Add tan x0 exp x7 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Add 5 Pow x0 x0 Add 5 Pow x0 x0 -1 Mul Mul atanh Add 5 Pow x0 x0 log atanh Add 5 Pow x0 x0 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul Add tan x0 exp x7 Add tan x0 exp x7 -1 