Add Add Pow acosh exp Mul x0 Add 1 x0 coth x6 Add x0 x4 asech x0 
Add Add Mul Pow acosh exp Mul x0 Add 1 x0 Add coth x6 -1 Mul coth x6 Mul Mul exp Mul x0 Add 1 x0 Add Add 1 x0 x0 Pow Mul sqrt Add exp Mul x0 Add 1 x0 -1 sqrt Add 1 exp Mul x0 Add 1 x0 -1 1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 