Add sinh x0 acos Add Pow acot Mul x6 sec x0 acos x4 5 
Add cosh x0 Mul -1 Mul Mul Pow acot Mul x6 sec x0 Add acos x4 -1 Mul acos x4 Mul -1 Mul Mul x6 Mul tan x0 sec x0 Pow Add 1 Mul Mul x6 sec x0 Mul x6 sec x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Pow acot Mul x6 sec x0 acos x4 5 Add Pow acot Mul x6 sec x0 acos x4 5 -1 