Pow Pow acosh Add Mul x0 x6 x7 2 tan acosh x0 
Mul Pow Pow acosh Add Mul x0 x6 x7 2 Add tan acosh x0 -1 Add Mul tan acosh x0 Mul acosh Add Mul x0 x6 x7 Mul 2 Mul x6 Pow Mul sqrt Add Add Mul x0 x6 x7 -1 sqrt Add 1 Add Mul x0 x6 x7 -1 Mul Mul Pow acosh Add Mul x0 x6 x7 2 log Pow acosh Add Mul x0 x6 x7 2 Mul Pow sec acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 