Add Pow x0 sec Add x0 4 Pow Add Pow x0 acsch Add x0 Mul x0 x7 Add 2 E x0 
Add Mul Pow x0 Add sec Add x0 4 -1 Add sec Add x0 4 Mul Mul x0 log x0 Mul tan Add x0 4 sec Add x0 4 Mul Pow Add Pow x0 acsch Add x0 Mul x0 x7 Add 2 E Add x0 -1 Add Mul x0 Mul Pow x0 Add acsch Add x0 Mul x0 x7 -1 Add acsch Add x0 Mul x0 x7 Mul Mul x0 log x0 Mul Mul -1 Add 1 x7 Pow Mul Mul Add x0 Mul x0 x7 Add x0 Mul x0 x7 sqrt Add 1 Mul -1 Pow Mul Add x0 Mul x0 x7 Add x0 Mul x0 x7 -1 -1 Mul Add Pow x0 acsch Add x0 Mul x0 x7 Add 2 E log Add Pow x0 acsch Add x0 Mul x0 x7 Add 2 E 