Mul x4 Pow Mul Pow log x0 Add x3 1 x5 sec sech x0 
Mul x4 Mul Pow Mul Pow log x0 Add x3 1 x5 Add sec sech x0 -1 Add Mul sec sech x0 Mul x5 Mul Pow log x0 Add Add x3 1 -1 Mul Add x3 1 Pow x0 -1 Mul Mul Mul Pow log x0 Add x3 1 x5 log Mul Pow log x0 Add x3 1 x5 Mul Mul tan sech x0 sec sech x0 Mul tanh x0 Mul -1 sech x0 