tan acosh Mul Pow Add Add x3 10 pi x6 sqrt Pow Add sqrt asech x0 1 x7 
Mul Pow sec acosh Mul Pow Add Add x3 10 pi x6 sqrt Pow Add sqrt asech x0 1 x7 2 Mul Mul Pow Add Add x3 10 pi x6 Mul Pow Mul 2 sqrt Pow Add sqrt asech x0 1 x7 -1 Mul Pow Add sqrt asech x0 1 Add x7 -1 Mul x7 Mul Pow Mul 2 sqrt asech x0 -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add Mul Pow Add Add x3 10 pi x6 sqrt Pow Add sqrt asech x0 1 x7 -1 sqrt Add 1 Mul Pow Add Add x3 10 pi x6 sqrt Pow Add sqrt asech x0 1 x7 -1 