Mul sech Pow acosh x5 sqrt Add Add -5 log Mul acsch x0 x0 -1 4 
Mul 4 Mul Mul tanh Pow acosh x5 sqrt Add Add -5 log Mul acsch x0 x0 -1 Mul -1 sech Pow acosh x5 sqrt Add Add -5 log Mul acsch x0 x0 -1 Mul Pow acosh x5 Add sqrt Add Add -5 log Mul acsch x0 x0 -1 -1 Mul Mul acosh x5 log acosh x5 Mul Pow Mul 2 sqrt Add Add -5 log Mul acsch x0 x0 -1 -1 Mul Add Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 acsch x0 Pow Mul acsch x0 x0 -1 