Pow Mul asech asec x6 x4 Mul 4 Pow cbrt x0 x0 
Mul Pow Mul asech asec x6 x4 Add Mul 4 Pow cbrt x0 x0 -1 Mul Mul Mul asech asec x6 x4 log Mul asech asec x6 x4 Mul 4 Mul Pow cbrt x0 Add x0 -1 Add Mul x0 Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Mul cbrt x0 log cbrt x0 