Mul Mul x0 Pow exp x2 2 Pow x0 Mul asech Add Pow acosh x0 x3 x0 4 
Add Mul Pow x0 Mul asech Add Pow acosh x0 x3 x0 4 Pow exp x2 2 Mul Mul x0 Pow exp x2 2 Mul Pow x0 Add Mul asech Add Pow acosh x0 x3 x0 4 -1 Add Mul asech Add Pow acosh x0 x3 x0 4 Mul Mul x0 log x0 Mul 4 Mul Add Mul Pow acosh x0 Add x3 -1 Mul x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow Mul Mul Add Pow acosh x0 x3 x0 Add Pow acosh x0 x3 x0 sqrt Add 1 Mul -1 Pow Mul Add Pow acosh x0 x3 x0 Add Pow acosh x0 x3 x0 -1 -1 