Mul x0 Mul x5 acsch Pow exp Mul acsch x0 sinh x2 x0 
Add Mul x5 acsch Pow exp Mul acsch x0 sinh x2 x0 Mul x0 Mul x5 Mul Mul -1 Mul Pow exp Mul acsch x0 sinh x2 Add x0 -1 Add Mul x0 Mul exp Mul acsch x0 sinh x2 Mul sinh x2 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul exp Mul acsch x0 sinh x2 log exp Mul acsch x0 sinh x2 Pow Mul Mul Pow exp Mul acsch x0 sinh x2 x0 Pow exp Mul acsch x0 sinh x2 x0 sqrt Add 1 Mul -1 Pow Mul Pow exp Mul acsch x0 sinh x2 x0 Pow exp Mul acsch x0 sinh x2 x0 -1 -1 