Mul exp asech exp log Add sqrt Pow x0 5 x6 pi 
Mul pi Mul exp asech exp log Add sqrt Pow x0 5 x6 Mul Mul exp log Add sqrt Pow x0 5 x6 Mul Mul Pow Mul 2 sqrt Pow x0 5 -1 Mul Pow x0 4 5 Pow Add sqrt Pow x0 5 x6 -1 Pow Mul Mul exp log Add sqrt Pow x0 5 x6 exp log Add sqrt Pow x0 5 x6 sqrt Add 1 Mul -1 Pow Mul exp log Add sqrt Pow x0 5 x6 exp log Add sqrt Pow x0 5 x6 -1 -1 