Mul atan asech Pow Pow Mul x0 -4 sqrt x7 atan sqrt x0 Add Add x0 x5 acosh sqrt x0 
Add Mul Add Add x0 x5 acosh sqrt x0 Mul Mul Mul Pow Pow Mul x0 -4 sqrt x7 Add atan sqrt x0 -1 Add Mul atan sqrt x0 Mul Pow Mul x0 -4 Add sqrt x7 -1 Mul sqrt x7 -4 Mul Mul Pow Mul x0 -4 sqrt x7 log Pow Mul x0 -4 sqrt x7 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 Pow Mul Mul Pow Pow Mul x0 -4 sqrt x7 atan sqrt x0 Pow Pow Mul x0 -4 sqrt x7 atan sqrt x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow Mul x0 -4 sqrt x7 atan sqrt x0 Pow Pow Mul x0 -4 sqrt x7 atan sqrt x0 -1 -1 Pow Add 1 Mul asech Pow Pow Mul x0 -4 sqrt x7 atan sqrt x0 asech Pow Pow Mul x0 -4 sqrt x7 atan sqrt x0 -1 Mul atan asech Pow Pow Mul x0 -4 sqrt x7 atan sqrt x0 Add 1 Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 