Pow asech Add Mul x5 Mul Mul cosh x4 Mul x7 x0 -3 -2 Mul Add x0 Mul x3 x0 sqrt acoth x0 
Mul Pow asech Add Mul x5 Mul Mul cosh x4 Mul x7 x0 -3 -2 Add Mul Add x0 Mul x3 x0 sqrt acoth x0 -1 Add Mul Mul Add x0 Mul x3 x0 sqrt acoth x0 Mul Mul x5 Mul -3 Mul cosh x4 x7 Pow Mul Mul Add Mul x5 Mul Mul cosh x4 Mul x7 x0 -3 -2 Add Mul x5 Mul Mul cosh x4 Mul x7 x0 -3 -2 sqrt Add 1 Mul -1 Pow Mul Add Mul x5 Mul Mul cosh x4 Mul x7 x0 -3 -2 Add Mul x5 Mul Mul cosh x4 Mul x7 x0 -3 -2 -1 -1 Mul Mul asech Add Mul x5 Mul Mul cosh x4 Mul x7 x0 -3 -2 log asech Add Mul x5 Mul Mul cosh x4 Mul x7 x0 -3 -2 Add Mul sqrt acoth x0 Add 1 x3 Mul Add x0 Mul x3 x0 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 