Pow Add Pow sec x0 Pow asech Mul x0 x1 -4 Mul 3 Pow cosh x0 x1 2 
Mul Add Pow sec x0 Pow asech Mul x0 x1 -4 Mul 3 Pow cosh x0 x1 Mul 2 Add Mul Pow sec x0 Add Pow asech Mul x0 x1 -4 -1 Add Mul Pow asech Mul x0 x1 -4 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Pow asech Mul x0 x1 5 Mul -4 Mul x1 Pow Mul Mul Mul x0 x1 Mul x0 x1 sqrt Add 1 Mul -1 Pow Mul Mul x0 x1 Mul x0 x1 -1 -1 Mul 3 Mul Pow cosh x0 Add x1 -1 Mul x1 sinh x0 