Mul Pow exp sech sec Add Mul x0 x1 x0 Pow x0 Pow x7 sinh x0 pi 
Mul pi Mul Pow exp sech sec Add Mul x0 x1 x0 Add Pow x0 Pow x7 sinh x0 -1 Add Mul Pow x0 Pow x7 sinh x0 Mul exp sech sec Add Mul x0 x1 x0 Mul Mul tanh sec Add Mul x0 x1 x0 Mul -1 sech sec Add Mul x0 x1 x0 Mul Mul tan Add Mul x0 x1 x0 sec Add Mul x0 x1 x0 Add x1 1 Mul Mul exp sech sec Add Mul x0 x1 x0 log exp sech sec Add Mul x0 x1 x0 Mul Pow x0 Add Pow x7 sinh x0 -1 Add Pow x7 sinh x0 Mul Mul x0 log x0 Mul Pow x7 Add sinh x0 -1 Mul Mul x7 log x7 cosh x0 