tan Mul Pow x0 Add -3 Mul x0 x0 Pow cosh x3 Mul -3 x1 
Mul Pow sec Mul Pow x0 Add -3 Mul x0 x0 Pow cosh x3 Mul -3 x1 2 Mul Pow cosh x3 Mul -3 x1 Mul Pow x0 Add Add -3 Mul x0 x0 -1 Add Add -3 Mul x0 x0 Mul Mul x0 log x0 Add x0 x0 