asech Pow Pow Add sqrt sqrt Add x0 sinh x0 x7 x0 x0 
Mul Mul Pow Pow Add sqrt sqrt Add x0 sinh x0 x7 x0 Add x0 -1 Add Mul x0 Mul Pow Add sqrt sqrt Add x0 sinh x0 x7 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt sqrt Add x0 sinh x0 -1 Mul Pow Mul 2 sqrt Add x0 sinh x0 -1 Add 1 cosh x0 Mul Add sqrt sqrt Add x0 sinh x0 x7 log Add sqrt sqrt Add x0 sinh x0 x7 Mul Pow Add sqrt sqrt Add x0 sinh x0 x7 x0 log Pow Add sqrt sqrt Add x0 sinh x0 x7 x0 Pow Mul Mul Pow Pow Add sqrt sqrt Add x0 sinh x0 x7 x0 x0 Pow Pow Add sqrt sqrt Add x0 sinh x0 x7 x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow Add sqrt sqrt Add x0 sinh x0 x7 x0 x0 Pow Pow Add sqrt sqrt Add x0 sinh x0 x7 x0 x0 -1 -1 