acos Add x0 Add Mul acsch Pow x7 cosh Pow x0 2 Add 3 x0 x3 
Mul -1 Mul Add 1 Add Mul Add 3 x0 Mul Mul -1 Mul Pow x7 Add cosh Pow x0 2 -1 Mul Mul x7 log x7 Mul sinh Pow x0 2 Mul x0 2 Pow Mul Mul Pow x7 cosh Pow x0 2 Pow x7 cosh Pow x0 2 sqrt Add 1 Mul -1 Pow Mul Pow x7 cosh Pow x0 2 Pow x7 cosh Pow x0 2 -1 -1 acsch Pow x7 cosh Pow x0 2 Pow sqrt Add 1 Mul -1 Mul Add x0 Add Mul acsch Pow x7 cosh Pow x0 2 Add 3 x0 x3 Add x0 Add Mul acsch Pow x7 cosh Pow x0 2 Add 3 x0 x3 -1 