Add x0 acoth Add x5 Add Pow Add x0 x0 cosh exp Add sec x0 x0 cosh Mul atan Mul asech x0 x0 x0 
Add 1 Mul Add Mul Pow Add x0 x0 Add cosh exp Add sec x0 x0 -1 Add Mul cosh exp Add sec x0 x0 2 Mul Mul Add x0 x0 log Add x0 x0 Mul sinh exp Add sec x0 x0 Mul exp Add sec x0 x0 Add Mul tan x0 sec x0 1 Mul sinh Mul atan Mul asech x0 x0 x0 Add Mul x0 Mul Add Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 asech x0 Pow Add 1 Mul Mul asech x0 x0 Mul asech x0 x0 -1 atan Mul asech x0 x0 Pow Add 1 Mul -1 Mul Add x5 Add Pow Add x0 x0 cosh exp Add sec x0 x0 cosh Mul atan Mul asech x0 x0 x0 Add x5 Add Pow Add x0 x0 cosh exp Add sec x0 x0 cosh Mul atan Mul asech x0 x0 x0 -1 