Mul asec Mul x0 Mul acoth x1 x0 Mul sech Pow Add Mul sec Add x0 x0 3 -4 x0 Mul Pow x0 x0 x7 
Add Mul Mul sech Pow Add Mul sec Add x0 x0 3 -4 x0 Mul Pow x0 x0 x7 Mul Add Mul acoth x1 x0 Mul x0 acoth x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul acoth x1 x0 Mul x0 Mul acoth x1 x0 -1 Mul x0 Mul acoth x1 x0 Mul x0 Mul acoth x1 x0 -1 Mul asec Mul x0 Mul acoth x1 x0 Add Mul Mul Pow x0 x0 x7 Mul Mul tanh Pow Add Mul sec Add x0 x0 3 -4 x0 Mul -1 sech Pow Add Mul sec Add x0 x0 3 -4 x0 Mul Pow Add Mul sec Add x0 x0 3 -4 Add x0 -1 Add Mul x0 Mul 3 Mul Mul tan Add x0 x0 sec Add x0 x0 2 Mul Add Mul sec Add x0 x0 3 -4 log Add Mul sec Add x0 x0 3 -4 Mul sech Pow Add Mul sec Add x0 x0 3 -4 x0 Mul x7 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 