Mul Pow Add acosh Mul log sinh x4 x0 Mul x0 4 Mul x0 Add E x6 Mul x0 4 
Add Mul Mul x0 4 Mul Pow Add acosh Mul log sinh x4 x0 Mul x0 4 Add Mul x0 Add E x6 -1 Add Mul Mul x0 Add E x6 Add Mul log sinh x4 Pow Mul sqrt Add Mul log sinh x4 x0 -1 sqrt Add 1 Mul log sinh x4 x0 -1 4 Mul Mul Add acosh Mul log sinh x4 x0 Mul x0 4 log Add acosh Mul log sinh x4 x0 Mul x0 4 Add E x6 Mul Pow Add acosh Mul log sinh x4 x0 Mul x0 4 Mul x0 Add E x6 4 