exp atanh acoth Pow Add sec x0 x0 atanh Mul Add x0 Pow cosh sec atanh x0 sinh x0 x4 
Mul exp atanh acoth Pow Add sec x0 x0 atanh Mul Add x0 Pow cosh sec atanh x0 sinh x0 x4 Mul Mul Mul Pow Add sec x0 x0 Add atanh Mul Add x0 Pow cosh sec atanh x0 sinh x0 x4 -1 Add Mul atanh Mul Add x0 Pow cosh sec atanh x0 sinh x0 x4 Add Mul tan x0 sec x0 1 Mul Mul Add sec x0 x0 log Add sec x0 x0 Mul Mul x4 Add 1 Mul Pow cosh sec atanh x0 Add sinh x0 -1 Add Mul sinh x0 Mul sinh sec atanh x0 Mul Mul tan atanh x0 sec atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul cosh sec atanh x0 log cosh sec atanh x0 cosh x0 Pow Add 1 Mul -1 Mul Mul Add x0 Pow cosh sec atanh x0 sinh x0 x4 Mul Add x0 Pow cosh sec atanh x0 sinh x0 x4 -1 Pow Add 1 Mul -1 Mul Pow Add sec x0 x0 atanh Mul Add x0 Pow cosh sec atanh x0 sinh x0 x4 Pow Add sec x0 x0 atanh Mul Add x0 Pow cosh sec atanh x0 sinh x0 x4 -1 Pow Add 1 Mul -1 Mul acoth Pow Add sec x0 x0 atanh Mul Add x0 Pow cosh sec atanh x0 sinh x0 x4 acoth Pow Add sec x0 x0 atanh Mul Add x0 Pow cosh sec atanh x0 sinh x0 x4 -1 