Pow Add Mul x0 Mul sqrt cos x3 x0 x0 Pow x0 sinh sinh x4 
Mul Pow Add Mul x0 Mul sqrt cos x3 x0 x0 Add Pow x0 sinh sinh x4 -1 Add Mul Pow x0 sinh sinh x4 Add Add Mul sqrt cos x3 x0 Mul x0 sqrt cos x3 1 Mul Mul Add Mul x0 Mul sqrt cos x3 x0 x0 log Add Mul x0 Mul sqrt cos x3 x0 x0 Mul Pow x0 Add sinh sinh x4 -1 sinh sinh x4 