log Mul acosh Mul sinh Mul x0 E x0 Mul x0 Mul x0 sin x3 
Mul Add Mul Mul x0 Mul x0 sin x3 Mul Add Mul x0 Mul cosh Mul x0 E E sinh Mul x0 E Pow Mul sqrt Add Mul sinh Mul x0 E x0 -1 sqrt Add 1 Mul sinh Mul x0 E x0 -1 Mul acosh Mul sinh Mul x0 E x0 Add Mul x0 sin x3 Mul x0 sin x3 Pow Mul acosh Mul sinh Mul x0 E x0 Mul x0 Mul x0 sin x3 -1 