Mul -5 Pow sec acosh log Add Mul x0 -2 x0 Add 1.85081571768093 log Mul x4 x0 
Mul -5 Mul Pow sec acosh log Add Mul x0 -2 x0 Add Add 1.85081571768093 log Mul x4 x0 -1 Add Mul Add 1.85081571768093 log Mul x4 x0 Mul Mul tan acosh log Add Mul x0 -2 x0 sec acosh log Add Mul x0 -2 x0 Mul Pow Add Mul x0 -2 x0 -1 Pow Mul sqrt Add log Add Mul x0 -2 x0 -1 sqrt Add 1 log Add Mul x0 -2 x0 -1 Mul Mul sec acosh log Add Mul x0 -2 x0 log sec acosh log Add Mul x0 -2 x0 Mul x4 Pow Mul x4 x0 -1 