asin Mul -5 Pow Mul x0 acosh x3 acsch x0 
Mul Mul -5 Mul Pow Mul x0 acosh x3 Add acsch x0 -1 Add Mul acsch x0 acosh x3 Mul Mul Mul x0 acosh x3 log Mul x0 acosh x3 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul -5 Pow Mul x0 acosh x3 acsch x0 Mul -5 Pow Mul x0 acosh x3 acsch x0 -1 