sec Add Add sec acoth exp x0 Mul Add x5 Add x0 x7 Mul x2 Add Mul -4 x1 sinh Pow x0 x0 x0 
Mul Mul tan Add Add sec acoth exp x0 Mul Add x5 Add x0 x7 Mul x2 Add Mul -4 x1 sinh Pow x0 x0 x0 sec Add Add sec acoth exp x0 Mul Add x5 Add x0 x7 Mul x2 Add Mul -4 x1 sinh Pow x0 x0 x0 Add Add Mul Mul tan acoth exp x0 sec acoth exp x0 Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 Add Mul x2 Add Mul -4 x1 sinh Pow x0 x0 Mul Add x5 Add x0 x7 Mul x2 Mul cosh Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 