Mul sec sinh Mul Mul x0 x0 Add Mul -3 x0 x0 acsc x4 
Mul acsc x4 Mul Mul tan sinh Mul Mul x0 x0 Add Mul -3 x0 x0 sec sinh Mul Mul x0 x0 Add Mul -3 x0 x0 Mul cosh Mul Mul x0 x0 Add Mul -3 x0 x0 Add Mul Add Mul -3 x0 x0 Add x0 x0 Mul Mul x0 x0 2 