Add asech acot acos Mul Add x0 exp Pow exp x7 sec x0 Pow Mul sinh x0 Add x0 x0 3 x0 
Add Mul Mul -1 Mul Mul -1 Mul Add Mul Pow Mul sinh x0 Add x0 x0 3 Add 1 Mul exp Pow exp x7 sec x0 Mul Pow exp x7 Add sec x0 -1 Mul Mul exp x7 log exp x7 Mul tan x0 sec x0 Mul Add x0 exp Pow exp x7 sec x0 Mul Pow Mul sinh x0 Add x0 x0 2 Mul 3 Add Mul Add x0 x0 cosh x0 Mul sinh x0 2 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 exp Pow exp x7 sec x0 Pow Mul sinh x0 Add x0 x0 3 Mul Add x0 exp Pow exp x7 sec x0 Pow Mul sinh x0 Add x0 x0 3 -1 Pow Add 1 Mul acos Mul Add x0 exp Pow exp x7 sec x0 Pow Mul sinh x0 Add x0 x0 3 acos Mul Add x0 exp Pow exp x7 sec x0 Pow Mul sinh x0 Add x0 x0 3 -1 Pow Mul Mul acot acos Mul Add x0 exp Pow exp x7 sec x0 Pow Mul sinh x0 Add x0 x0 3 acot acos Mul Add x0 exp Pow exp x7 sec x0 Pow Mul sinh x0 Add x0 x0 3 sqrt Add 1 Mul -1 Pow Mul acot acos Mul Add x0 exp Pow exp x7 sec x0 Pow Mul sinh x0 Add x0 x0 3 acot acos Mul Add x0 exp Pow exp x7 sec x0 Pow Mul sinh x0 Add x0 x0 3 -1 -1 1 