atanh Add sec asec Add asinh x0 Pow sinh x0 x0 asinh x4 
Mul Mul Mul tan asec Add asinh x0 Pow sinh x0 x0 sec asec Add asinh x0 Pow sinh x0 x0 Mul Add Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow sinh x0 Add x0 -1 Add Mul x0 cosh x0 Mul sinh x0 log sinh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add asinh x0 Pow sinh x0 x0 Add asinh x0 Pow sinh x0 x0 -1 Add asinh x0 Pow sinh x0 x0 Add asinh x0 Pow sinh x0 x0 -1 Pow Add 1 Mul -1 Mul Add sec asec Add asinh x0 Pow sinh x0 x0 asinh x4 Add sec asec Add asinh x0 Pow sinh x0 x0 asinh x4 -1 