Add Mul x0 x0 Mul Pow x0 log Mul acsch x0 acsch csch x5 Mul x3 x0 
Add Add x0 x0 Add Mul Mul x3 x0 Mul Pow x0 Add log Mul acsch x0 acsch csch x5 -1 Add log Mul acsch x0 acsch csch x5 Mul Mul x0 log x0 Mul Mul acsch csch x5 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul acsch x0 acsch csch x5 -1 Mul Pow x0 log Mul acsch x0 acsch csch x5 x3 