acosh Mul Mul Pow asech x6 Mul 2 x0 x0 x6 
Mul Mul x6 Add Mul x0 Mul Pow asech x6 Add Mul 2 x0 -1 Mul Mul asech x6 log asech x6 2 Pow asech x6 Mul 2 x0 Pow Mul sqrt Add Mul Mul Pow asech x6 Mul 2 x0 x0 x6 -1 sqrt Add 1 Mul Mul Pow asech x6 Mul 2 x0 x0 x6 -1 