Pow Add Add x0 pi Add Add Mul asech x0 Mul Pow tan exp x0 pi x1 sqrt asin x0 x0 7.38905609893065 
Mul Pow Add Add x0 pi Add Add Mul asech x0 Mul Pow tan exp x0 pi x1 sqrt asin x0 x0 6.38905609893065 Mul 7.38905609893065 Add 1 Add Add Add Mul Mul Pow tan exp x0 pi x1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul x1 Mul Pow tan exp x0 Add pi -1 Mul pi Mul Pow sec exp x0 2 exp x0 Mul Pow Mul 2 sqrt asin x0 -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 