Add acosh Add x0 Add Add x0 x0 Pow acosh tan sin x0 x0 Pow Pow Mul 4 x0 x6 2 
Add Mul Add 1 Add 2 Mul Pow acosh tan sin x0 Add x0 -1 Add Mul x0 Mul Mul Pow sec sin x0 2 cos x0 Pow Mul sqrt Add tan sin x0 -1 sqrt Add 1 tan sin x0 -1 Mul acosh tan sin x0 log acosh tan sin x0 Pow Mul sqrt Add Add x0 Add Add x0 x0 Pow acosh tan sin x0 x0 -1 sqrt Add 1 Add x0 Add Add x0 x0 Pow acosh tan sin x0 x0 -1 Mul Pow Mul 4 x0 x6 Mul 2 Mul Pow Mul 4 x0 Add x6 -1 Mul x6 4 