exp Pow Pow x3 Add sec sinh x0 3 Add 4 x0 
Mul exp Pow Pow x3 Add sec sinh x0 3 Add 4 x0 Mul Pow Pow x3 Add sec sinh x0 3 Add Add 4 x0 -1 Add Mul Add 4 x0 Mul Pow x3 Add Add sec sinh x0 3 -1 Mul Mul x3 log x3 Mul Mul tan sinh x0 sec sinh x0 cosh x0 Mul Pow x3 Add sec sinh x0 3 log Pow x3 Add sec sinh x0 3 