Mul x0 Pow acoth Add acosh Mul x0 x7 Mul acsch asech x0 x0 x0 
Add Pow acoth Add acosh Mul x0 x7 Mul acsch asech x0 x0 x0 Mul x0 Mul Pow acoth Add acosh Mul x0 x7 Mul acsch asech x0 x0 Add x0 -1 Add Mul x0 Mul Add Mul x7 Pow Mul sqrt Add Mul x0 x7 -1 sqrt Add 1 Mul x0 x7 -1 Add Mul x0 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul asech x0 asech x0 sqrt Add 1 Mul -1 Pow Mul asech x0 asech x0 -1 -1 acsch asech x0 Pow Add 1 Mul -1 Mul Add acosh Mul x0 x7 Mul acsch asech x0 x0 Add acosh Mul x0 x7 Mul acsch asech x0 x0 -1 Mul acoth Add acosh Mul x0 x7 Mul acsch asech x0 x0 log acoth Add acosh Mul x0 x7 Mul acsch asech x0 x0 