log Add Add Mul x0 x0 sqrt Pow asech x6 4 Mul acsch Pow x0 -2 2 
Mul Add Add x0 x0 Mul 2 Mul Mul -1 Mul Pow x0 3 -2 Pow Mul Mul Pow x0 -2 Pow x0 -2 sqrt Add 1 Mul -1 Pow Mul Pow x0 -2 Pow x0 -2 -1 -1 Pow Add Add Mul x0 x0 sqrt Pow asech x6 4 Mul acsch Pow x0 -2 2 -1 